diff options
author | Mike Hommey <mh@glandium.org> | 2007-12-10 22:36:08 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-12-14 21:31:59 -0800 |
commit | 02dc534fc6eb8a08c686b7cb2d979545853889d0 (patch) | |
tree | de93a82916acfb5604e51baa2e7b3696fd370c6a /git-gui | |
parent | Remove the default_headers variable from http-push.c (diff) | |
download | tgif-02dc534fc6eb8a08c686b7cb2d979545853889d0.tar.xz |
Remove a CURLOPT_HTTPHEADER (un)setting
Setting CURLOPT_HTTPHEADER doesn't add HTTP headers, but replaces whatever
set of headers was configured before, so setting to NULL doesn't have any
magic meaning, and is pretty much useless when setting to another list
right after.
Signed-off-by: Mike Hommey <mh@glandium.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions