Merge git://repo.or.cz/git-gui

[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