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