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>
Johannes Schindelin committed
Dec 14, 2008 at 23:12 UTC
d4d1351b96ba8b1accb9fa2965e83d7e302c4ff8
1 file changed
-1
git-gui.sh
-1
@@ -3329,7 +3329,6 @@ by %s:
3329
{^GIT_PAGER$} -
3330
{^GIT_TRACE$} -
3331
{^GIT_CONFIG$} -
3332
- {^GIT_CONFIG_LOCAL$} -
3332
{^GIT_(AUTHOR|COMMITTER)_DATE$} {
3333
append msg " - $name\n"
3334
incr ignored_env