From af566ad464955accd0c6c440384cc6cbcb5b7d1f Mon Sep 17 00:00:00 2001 From: fennecdjay Date: Thu, 20 Jun 2019 01:17:21 +0200 Subject: [PATCH] :art: Remove docs dir --- .gitmodules | 3 --- docs | 1 - 2 files changed, 4 deletions(-) delete mode 160000 docs 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 -- 2.43.0