diff options
| author |  Mike Hommey <mh@glandium.org> | 2007-12-10 22:36:09 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2007-12-14 21:31:59 -0800 |
| commit | e8dc37e0e30dbbed532b7471516d1ba5e6e08f27 (patch) | |
| tree | f0b09d2bd8d675d0f46fdb5e704b4df54a24330c /git-gui/po | |
| parent | Remove a CURLOPT_HTTPHEADER (un)setting (diff) | |
| download | tgif-e8dc37e0e30dbbed532b7471516d1ba5e6e08f27.tar.xz | |
Avoid redundant declaration of missing_target()
Signed-off-by: Mike Hommey <mh@glandium.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/po')
0 files changed, 0 insertions, 0 deletions