From 36d3537f6e6a3ffbd3ad0f63d21be3ef32886e7a Mon Sep 17 00:00:00 2001 From: Antz Date: Thu, 4 Jan 2018 23:14:47 +0000 Subject: [PATCH] [DBDocs] Remove DBDocs Editor as no longer required --- .gitmodules | 3 --- contrib/dbdocs_editor | 1 - 2 files changed, 4 deletions(-) delete mode 160000 contrib/dbdocs_editor diff --git a/.gitmodules b/.gitmodules index 079682b1..bd46065f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,9 +10,6 @@ [submodule "src/modules/SD3"] path = src/modules/SD3 url = https://github.com/mangos/ScriptDev3.git -[submodule "contrib/dbdocs_editor"] - path = contrib/dbdocs_editor - url = https://github.com/mangostools/DbDocsEditor.git [submodule "src/tools/Extractor_projects"] path = src/tools/Extractor_projects url = https://github.com/mangos/Extractor_projects.git diff --git a/contrib/dbdocs_editor b/contrib/dbdocs_editor deleted file mode 160000 index 6dd9ca8b..00000000 --- a/contrib/dbdocs_editor +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 6dd9ca8bcb55f1b79045b88616f15214a283ed4c