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

[thirdparty/git.git] / git-gui / lib / option.tcl

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