diff options
| author |  Miklos Vajna <vmiklos@frugalware.org> | 2008-10-26 03:33:58 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-10-26 14:44:25 -0700 |
| commit | 569740bdd0533ef5cf032edd6233710161a35725 (patch) | |
| tree | db991b74ce167effab38b2477d2435e0506a0850 /t/t4013/diff.diff-tree_--pretty=oneline_--patch-with-raw_initial | |
| parent | rename_ref(): handle the case when the reflog of a ref does not exist (diff) | |
| download | tgif-569740bdd0533ef5cf032edd6233710161a35725.tar.xz | |
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 't/t4013/diff.diff-tree_--pretty=oneline_--patch-with-raw_initial')
0 files changed, 0 insertions, 0 deletions