Merge branch 'mm/push-simple-doc'
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 1e4c08ff7e0f1d17b4a8e2c04edca8fc00455881)
-rwxr-xr-x 687 git-gui.sh