]> asedeno.scripts.mit.edu Git - git.git/tree - windows/
git gui: make current branch default in "remote delete branch" merge check
[git.git] / windows /
drwxr-xr-x   ..
-rw-r--r-- 633 git-gui.sh