https://github.com/mglisse/gudhi-devel
Tip revision: a6538d06bccab5ea3b7d1548414d3784de8cd64b authored by Marc Glisse on 10 December 2022, 16:42:25 UTC
stricter RE
stricter RE
Tip revision: a6538d0
.gitmodules
[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
