git-gui: Avoid an infinite rescan loop in handle_empty_diff.
[gitweb.git] / windows /
drwxr-xr-x   parent (dest: ; base: 584fa9cc)
-rw-r--r-- 483 git-gui.sh