chiark / gitweb /
dot/gitconfig.in: Use `diff-highlight' for, err, highlighting diffs.