Fixed issue #2514: diff uses wrong tool in case the filename matches a registered...
tree40b3a60ce0728acc9e325af1b1f2fa0a8f3962be
-rw-r--r-- 439 .gitignore
-rw-r--r-- 881 .gitmodules
-rw-r--r-- 224 .mailmap
-rw-r--r-- 256 .tgitconfig
drwxr-xr-x - Languages
-rw-r--r-- 801 appveyor.yml
-rw-r--r-- 2439 build.txt
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
-rw-r--r-- 952 release.txt
drwxr-xr-x - src
drwxr-xr-x - test