documentation fix: git difftool uses diff tools, not merge tools.
[git] / compat / vcbuild / scripts /
drwxr-xr-x   ..
-rw-r--r-- 1440 clink.pl
-rw-r--r-- 810 lib.pl