diff options
author | 2017-10-03 12:41:45 +0000 | |
---|---|---|
committer | 2017-10-03 12:41:45 +0000 | |
commit | 6824b4ad6b243570205ba531b6862839f64ed7f7 (patch) | |
tree | ebfcdfd26aa4aeaa5ad22ee9162535e3da8eda21 /.gitmodules | |
parent | dce752e6d180a0b633d4c7b113597054df5f91a1 (diff) | |
parent | a906e2520f2124a03fc98e76103f74cc4fe38a89 (diff) |
Merge "Readthedoc for so/libs"
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 6a46ad138..c2d7a96cf 100644 --- a/.gitmodules +++ b/.gitmodules @@ -328,3 +328,6 @@ url = ../so branch = . ignore = dirty +[submodule "docs/submodules/so/libs.git"] + path = docs/submodules/so/libs.git + url = ../so/libs |