gitdir: ../.git/modules/fixed_point
