[submodule "src/extern/geogram"]
	path = src/extern/geogram
	url = https://github.com/BrunoLevy/geogram.git
