diff options
| -rw-r--r-- | .gitmodules | 5 | ||||
| -rw-r--r-- | docs/submodules/dovetail/.gitignore | 0 |
2 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 diff --git a/docs/submodules/dovetail/.gitignore b/docs/submodules/dovetail/.gitignore deleted file mode 100644 index e69de29bb..000000000 --- a/docs/submodules/dovetail/.gitignore +++ /dev/null |