From 065840c10d883a19d3decae2c5a085c38519248f Mon Sep 17 00:00:00 2001 From: psy <psy@darmstadt.ccc.de> Date: Tue, 9 May 2023 20:28:44 +0200 Subject: [PATCH] remove theme directories as they are curerntly not in use --- .gitmodules | 3 --- themes | 1 - 2 files changed, 4 deletions(-) delete mode 160000 themes diff --git a/.gitmodules b/.gitmodules index 9a8e85e..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "themes"] - path = themes - url = https://git.cccv.de/infra/static-pages/mkdocs-themes.git diff --git a/themes b/themes deleted file mode 160000 index f3f4403..0000000 --- a/themes +++ /dev/null @@ -1 +0,0 @@ -Subproject commit f3f440382be289dc568dc2de98f89f21830fbdcb -- GitLab