git-gui: Refresh a file if it has an empty diff.
treede57d528594253c0206c4f11591efa9865990952
-rw-r--r-- 1234 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 52810 git-gui