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