git-gui: Force an update-index --refresh on unchanged files.
tree18169696c0297867dd35948d1938703adaf2442f
-rw-r--r-- 36 .gitignore
-rwxr-xr-x 745 GIT-VERSION-GEN
-rw-r--r-- 1200 Makefile
-rw-r--r-- 1659 TODO
-rwxr-xr-x 104858 git-gui.sh