Merge branch 'maint' of git://repo.or.cz/git-gui into maint

[git.git] / git-gui / lib / checkout_op.tcl

diff --git a/lib/checkout_op.tcl b/git-gui/lib/checkout_op.tcl
similarity index 100%
rename from lib/checkout_op.tcl
rename to git-gui/lib/checkout_op.tcl