git-gui: allow undoing last revert
[gitweb.git] / windows /
drwxr-xr-x   parent (dest: ; base: a4fa2f0a4c1a1ef7f2987fb9d38342fcaad78a75)
-rwxr-xr-x 687 git-gui.sh