diff options
| -rwxr-xr-x | git-gui.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/git-gui.sh b/git-gui.sh index 9b342f0846..a3ac5daf14 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -294,6 +294,7 @@ proc _git_cmd {name} { if {[catch {set v $_git_cmd_path($name)}]} { switch -- $name { + version - --version - --exec-path { return [list $::_git $name] } } |