git-gui: Improve the merge check interface for branch deletion.
tree7b54174af76f593853da5b1c18d8f86f7c04881c
-rw-r--r-- 36 .gitignore
-rwxr-xr-x 745 GIT-VERSION-GEN
-rw-r--r-- 1200 Makefile
-rw-r--r-- 1948 TODO
-rwxr-xr-x 101880 git-gui.sh