diff options
author | mathieu <mathieu.carriere3@gmail.com> | 2020-02-13 16:12:34 -0500 |
---|---|---|
committer | mathieu <mathieu.carriere3@gmail.com> | 2020-02-13 16:12:34 -0500 |
commit | 7618fa076d848bd213b444dc5974826be5528ab1 (patch) | |
tree | bd73b2901905b952287cd7eacd47120a36af415d /.gitmodules | |
parent | d3ddd141f6d5c68165a05c65cddb26a1b8c7c0ed (diff) | |
parent | bed30b19e57669c0b8ad385f1124586ed3499a2d (diff) |
Merge branch 'master' of https://github.com/GUDHI/gudhi-devel into generators
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..6e8b3ab1 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "ext/hera"] + path = ext/hera + url = https://bitbucket.org/grey_narn/hera.git |