dot/gitconfig.in: Run `diff-highlight' from the path, if it's there.
[profile] / kermit / net.shared
2012-02-20 Mark WoodingMerge branch 'master' of git://git.distorted.org.uk...
2012-02-20 Mark WoodingImprove Kermit configuration.