Fix git update-ref --no-deref -d.
authorMiklos Vajna <vmiklos@frugalware.org>
Sun, 26 Oct 2008 02:33:58 +0000 (03:33 +0100)
committerJunio C Hamano <gitster@pobox.com>
Sun, 26 Oct 2008 21:44:25 +0000 (14:44 -0700)
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>
No differences found