Merge git-gui 0.14.0
[git/git.git] / git-gui / lib / remote_branch_delete.tcl