gitdir: ../../.git/modules/tools/dts2repl
