documentation fix: git difftool uses diff tools, not merge tools.
[git] / t / t9700 /
drwxr-xr-x   ..
-rwxr-xr-x 5316 test.pl