diff options
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 8fc044f15..bc95e217a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -29,10 +29,10 @@ branch = . ignore = dirty [submodule "docs/submodules/dovetail"] - path = docs/submodules/dovetail - url = ../dovetail - branch = . - ignore = dirty + path = docs/submodules/dovetail + url = ../dovetail + branch = . + ignore = dirty [submodule "docs/submodules/fds"] path = docs/submodules/fds url = ../fds |