Merge git://repo.or.cz/git-gui
[git/git.git] / git-gui / lib / option.tcl
similarity index 100%
rename from lib/option.tcl
rename to git-gui/lib/option.tcl