Fixed issue #738: Lost the commit id on file name when use a external diff tool
treed2cb316e719f595a33e5aa9cf81f16fd03844089
-rw-r--r-- 596 .gitignore
-rw-r--r-- 495 .gitmodules
drwxr-xr-x - Languages
-rw-r--r-- 3438 build.txt
drwxr-xr-x - common
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
drwxr-xr-x - src
drwxr-xr-x - test