summaryrefslogtreecommitdiffstats
path: root/.gitmodules
diff options
context:
space:
mode:
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules5
1 files changed, 0 insertions, 5 deletions
diff --git a/.gitmodules b/.gitmodules
index bc95e217a..de6348c85 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -28,11 +28,6 @@
url = ../domino
branch = .
ignore = dirty
-[submodule "docs/submodules/dovetail"]
- path = docs/submodules/dovetail
- url = ../dovetail
- branch = .
- ignore = dirty
[submodule "docs/submodules/fds"]
path = docs/submodules/fds
url = ../fds