Merge commit 'git-gui/master'

[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