summaryrefslogtreecommitdiffstats
path: root/.gitmodules
diff options
context:
space:
mode:
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index f5c37bbdc..8c9e7e9df 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -403,3 +403,6 @@
url = ../modeling/genericparser
branch = .
ignore = dirty
+[submodule "docs/submodules/osa.git"]
+ path = docs/submodules/osa.git
+ url = ../../osa/