Merge branch 'rd/man-prune-progress'
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: c3d2d34fbf64c1d39e8bec03fea85ef14aeda692)
-rwxr-xr-x 687 git-gui.sh