diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-12-14 23:10:52 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-12-14 16:43:39 -0800 |
| commit | 8befc50c49e8a271fd3cd7fb34258fe88d1dfcad (patch) | |
| tree | acbc3709da13aa2898a7a35fe24c3d45be6d8738 /server-info.c | |
| parent | Documentation: Describe git-gui Tools menu configuration options. (diff) | |
| download | tgif-8befc50c49e8a271fd3cd7fb34258fe88d1dfcad.tar.xz | |
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>
Diffstat (limited to 'server-info.c')
0 files changed, 0 insertions, 0 deletions