Merge branch 'jl/remote-rm-prune' into maint
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: c4f79d13b93a7ce53c932c3970403d8f10904d30)
-rwxr-xr-x 687 git-gui.sh