documentation fix: git difftool uses diff tools, not merge tools.
[git] / t / t9115 /
drwxr-xr-x   ..
-rw-r--r-- 1490 funky-names.dump