diff options
author | Gard Spreemann <gspr@nonempty.org> | 2022-01-14 09:15:35 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2022-01-14 09:15:35 +0100 |
commit | dbc404626955aee632fa47ee7a4d4c3add7d6188 (patch) | |
tree | b7acfc83c9ba316216a93e9a7d14c68c11d92804 /.gitmodules | |
parent | 2c221bfcf8effff9b010de8b2e13a22f6bc15201 (diff) | |
parent | 17c3c6a07cdb1b4d4f735f3bc996af30e216dfbe (diff) |
Merge tag 'tags/gudhi-release-3.5.0' into dfsg/latest
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index f70c570d..2aa8ad96 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "ext/hera"] path = ext/hera url = https://github.com/grey-narn/hera.git +[submodule "ext/gudhi-deploy"] + path = ext/gudhi-deploy + url = https://github.com/GUDHI/gudhi-deploy |