git-gui: remove warning when deleting correctly merged remote branch
[git/raj.git] / windows / 
tree5c2bcc7d578913654d53d2363ea675e5f942b31b
drwxr-xr-x   ..
-rw-r--r-- 633 git-gui.sh