gitdir: ../../../../../.git/modules/third_party/clasp/modules/libpotassco/modules/third_party/Catch2
