From 80f07870b992720e4373d629da5ea64f11e796aa Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 20 Jan 2016 05:33:59 +0100
Subject: [PATCH] Remove autosubst submodule.

For consistency, let's deal with autosubst in the same way as with
ssreflect. The user should install it somewhere itself.

This should be documented and possibly discussed later.
---
 .gitmodules | 3 ---
 _CoqProject | 1 -
 autosubst   | 1 -
 3 files changed, 5 deletions(-)
 delete mode 100644 .gitmodules
 delete mode 160000 autosubst

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index 41342f5ab..000000000
--- a/.gitmodules
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "autosubst"]
-	path = autosubst
-	url = https://github.com/tebbi/autosubst.git
diff --git a/_CoqProject b/_CoqProject
index 799dd6308..2495807aa 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,2 +1 @@
 -Q . ""
--R autosubst/theories Autosubst
diff --git a/autosubst b/autosubst
deleted file mode 160000
index 07c669460..000000000
--- a/autosubst
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 07c669460cd84e6e0b2084e870b19f947b699ded
-- 
GitLab