diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 8b6414730..6962e2847 100644 --- a/.gitmodules +++ b/.gitmodules @@ -33,3 +33,8 @@ url = ../aai/search-data-service branch = . ignore = dirty +[submodule "docs/submodules/optf/has.git"] + path = docs/submodules/optf/has.git + url = ../optf/has + branch = . + ignore = dirty |