checkout: allow dwim for branch creation for "git checkout $branch --"
[git.git] / git-gui / windows / 
treefbe357b3cb9a7c385e2516d45a13c2a38654fc1f
drwxr-xr-x   ..
-rw-r--r-- 687 git-gui.sh