gitdir: ../../.git/modules/libs/pddlsl-dataset
