gitdir: ../.git/modules/fixed-point-finder
