https://github.com/mglisse/gudhi-devel
Tip revision: 843a18637000b1da5261d4c66a8efe62f2e5a1cc authored by Marc Glisse on 11 December 2022, 16:56:12 UTC
More robust location for pip package
More robust location for pip package
Tip revision: 843a186
.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
