diff options
| -rwxr-xr-x | git-gui.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh index 65dacf9b16..e018e076f8 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -3329,7 +3329,6 @@ by %s: {^GIT_PAGER$} - {^GIT_TRACE$} - {^GIT_CONFIG$} - - {^GIT_CONFIG_LOCAL$} - {^GIT_(AUTHOR|COMMITTER)_DATE$} { append msg " - $name\n" incr ignored_env |