gitdir: ../../../.git/modules/regym/thirdparty/Archi
