diff options
author | MathieuCarriere <mathieu.carriere3@gmail.com> | 2020-03-12 19:45:40 -0400 |
---|---|---|
committer | MathieuCarriere <mathieu.carriere3@gmail.com> | 2020-03-12 19:45:40 -0400 |
commit | c9ccc6a35b2ad231e07cc38811a074f3ed34ddd3 (patch) | |
tree | d2d1e87453818591901c575bffb0639ef8c35178 | |
parent | 700e632ee467fe482dc4dcb363433eed953df86b (diff) | |
parent | 62eb0a311da737a58ec704c3c5ad93da871e57a0 (diff) |
Merge branch 'master' of https://github.com/GUDHI/gudhi-devel into extended_persistence
-rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index 6e8b3ab1..f70c570d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "ext/hera"] path = ext/hera - url = https://bitbucket.org/grey_narn/hera.git + url = https://github.com/grey-narn/hera.git |