diff options
author | Christian Kamm <mail@ckamm.de> | 2019-03-15 11:32:26 +0300 |
---|---|---|
committer | Christian Kamm <mail@ckamm.de> | 2019-03-20 17:21:28 +0300 |
commit | 6fa035c52809dd2a1451d223d29ec4338b54ea7a (patch) | |
tree | f884fe3820da7f6766de729ca90c0e63b0830bca | |
parent | 79dee78c39256e6848a0d6d376d2d2662b5ed9db (diff) |
Docs: Remove doc-themes submodule
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 6bb3def3f..01eb9e43a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,6 +10,3 @@ [submodule "src/3rdparty/zsync"] path = src/3rdparty/zsync url = https://github.com/owncloud/zsync -[submodule "doc/docs-themes"] - path = doc/docs-themes - url = https://github.com/owncloud/docs-themes.git |