summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMathieuCarriere <mathieu.carriere3@gmail.com>2020-03-12 19:45:40 -0400
committerMathieuCarriere <mathieu.carriere3@gmail.com>2020-03-12 19:45:40 -0400
commitc9ccc6a35b2ad231e07cc38811a074f3ed34ddd3 (patch)
treed2d1e87453818591901c575bffb0639ef8c35178
parent700e632ee467fe482dc4dcb363433eed953df86b (diff)
parent62eb0a311da737a58ec704c3c5ad93da871e57a0 (diff)
Merge branch 'master' of https://github.com/GUDHI/gudhi-devel into extended_persistence
-rw-r--r--.gitmodules2
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