From 9c65a4813f18d4ca902f28f18c84a1feb17a750d Mon Sep 17 00:00:00 2001 From: Jens Neuhalfen Date: Wed, 19 Jul 2023 15:22:27 +0200 Subject: [PATCH] remove documentation submodule no longer used anyway and fails to clone --- .gitmodules | 3 --- website/themes/docdock | 1 - 2 files changed, 4 deletions(-) delete mode 160000 website/themes/docdock diff --git a/.gitmodules b/.gitmodules index 2ee129b7..e69de29b 100644 --- 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 deleted file mode 160000 index 9f4c3e91..00000000 --- a/website/themes/docdock +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 9f4c3e91d757e7ab9bc164fd5ce565259037b08e