gitdir: ../../../.git/modules/extern/libOTe/modules/cryptoTools
