diff options
author | Miklos Vajna <vmiklos@frugalware.org> | 2008-10-26 05:33:58 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-10-27 00:44:25 +0300 |
commit | 569740bdd0533ef5cf032edd6233710161a35725 (patch) | |
tree | db991b74ce167effab38b2477d2435e0506a0850 /refs.c | |
parent | 450d4c0f5a966b3f5835107ec4d8c344c8c25908 (diff) |
Fix git update-ref --no-deref -d.
Till now --no-deref was just ignored when deleting refs, fix this.
Signed-off-by: Miklos Vajna <vmiklos@frugalware.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'refs.c')
0 files changed, 0 insertions, 0 deletions