remove documentation submodule

no longer used anyway and fails to clone
Sauhardstark · Jul 19, 2023 · 9c65a48 · 9c65a48
1 parent 3523ca7
commit 9c65a48
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +0,0 @@
-[submodule "cms/themes/docdock"]
-	path = website/themes/docdock
-	url = https://github.com/vjeantet/hugo-theme-docdock.git

diff --git a/website/themes/docdock b/website/themes/docdock