Update git submodules

[doc.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index f5c37bb..d78cf40 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -403,3 +403,8 @@
        url = ../modeling/genericparser
        branch = .
        ignore = dirty
+[submodule "docs/submodules/osa.git"]
+       path = docs/submodules/osa.git
+       url = ../osa/
+       branch = master
+       ignore = dirty