pull: allow "git pull origin $something:$current_branch" into an unborn branch
[gitweb.git] / git-gui / windows /
drwxr-xr-x   parent (dest: git-gui; base: b0ad11ea165e07308fc02a5091efbe2e2d22237c)
-rw-r--r-- 483 git-gui.sh