git-gui: Only allow Refresh in diff context menu when we have a diff.
tree5937860307b700ce3ac08681f3a5d499c215fc9a
-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 111207 git-gui.sh