From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Wed, 19 Jun 2019 23:17:21 +0000 (+0200)
Subject: :art: Remove docs dir
X-Git-Tag: nightly~2428^2~2
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=af566ad464955accd0c6c440384cc6cbcb5b7d1f;p=gwion.git

:art: Remove docs dir
---

diff --git a/.gitmodules b/.gitmodules
index 95de0e21..bc72c639 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -23,6 +23,3 @@
 	path = ast
 	url = https://github.com/fennecdjay/gwion-ast
   active = true
-[submodule "docs"]
-	path = docs
-	url = https://github.com/fennecdjay/gwion-docs
diff --git a/docs b/docs
deleted file mode 160000
index 5a9c3260..00000000
--- a/docs
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 5a9c32608658438ada5f314ba2e0c187edf55f6f