gitdir: ../../../../.git/modules/libraries/geometry-central/modules/deps/happly
