diff options
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-12-14 22:12:49 (GMT) |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2008-12-17 15:50:55 (GMT) |
commit | d4d1351b96ba8b1accb9fa2965e83d7e302c4ff8 (patch) | |
tree | 9acfbed2e01273f9e1f4967220ef9763b5a58625 /git-gui.sh | |
parent | b8dc2f5c94b172e6f874718e018d8c868259b93d (diff) | |
download | git-d4d1351b96ba8b1accb9fa2965e83d7e302c4ff8.zip git-d4d1351b96ba8b1accb9fa2965e83d7e302c4ff8.tar.gz git-d4d1351b96ba8b1accb9fa2965e83d7e302c4ff8.tar.bz2 |
git-gui: Get rid of the last remnants of GIT_CONFIG_LOCAL
In dc871831(Only use GIT_CONFIG in "git config", not other programs),
GIT_CONFIG_LOCAL was rested in peace, in favor of not reading
/etc/gitconfig and $HOME/.gitconfig at all when GIT_CONFIG is set.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'git-gui.sh')
-rwxr-xr-x | git-gui.sh | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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 |