tree acbc3709da13aa2898a7a35fe24c3d45be6d8738
parent 390c3480b2bcdc5c254db1a81ff163d7f7061f40
author Johannes Schindelin <Johannes.Schindelin@gmx.de> 1229292652 +0100
committer Junio C Hamano <gitster@pobox.com> 1229301819 -0800

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: Junio C Hamano <gitster@pobox.com>