diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index f0beb77c7..f5c37bbdc 100644 --- a/.gitmodules +++ b/.gitmodules @@ -396,3 +396,10 @@ [submodule "docs/submodules/policy/parent.git"] path = docs/submodules/policy/parent.git url = ../policy/parent + branch = . + ignore = dirty +[submodule "docs/submodules/modeling/genericparser.git"] + path = docs/submodules/modeling/genericparser.git + url = ../modeling/genericparser + branch = . + ignore = dirty |