Merge git://repo.or.cz/git-gui
[git/git.git] / git-gui / lib / branch_delete.tcl