gitdir: ../../.git/modules/eigen
