Merge branch 'master' of https://github.com/prati0100/git-gui
[git/git.git] / git-gui / lib / checkout_op.tcl