Merge branch 'jc/1.7.0-push-safety'
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: 7ad9cec81d86ccf7a693ad7e1218e238aee5ca9d)
-rw-r--r-- 633 git-gui.sh