.gitmodules - debian-gudhi - Debian package for GUDHI.

summary refs log tree commit diff

path: root/.gitmodules

blob: 6e8b3ab1b05b555fb2f3c4869cb7ece5af35b6f5 (plain)

1
2
3

[submodule "ext/hera"]
	path = ext/hera
	url = https://bitbucket.org/grey_narn/hera.git