git-gui: Get rid of the last remnants of GIT_CONFIG_LOCAL
[gitweb.git] / git-gui.sh
index 65dacf9b16c5112211dd987befce31a86c409129..e018e076f8a1b927ac07f612cf097992643a5db7 100755 (executable)
@@ -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