gitdir: ../../.git/modules/pddl-generators
