diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 5 |
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 |