dot/gitconfig.in: Run `diff-highlight' from the path, if it's there.
[profile] / .gitignore
CommitLineData
67b1a15a 1/local.mk
33edf1fb 2/out/