diff options
| author |  Vikrant Varma <vikrant.varma94@gmail.com> | 2013-05-04 05:34:20 +0530 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2013-05-08 15:34:33 -0700 |
| commit | f3f8af0e54a31ffed242dc36482f82393f596ee5 (patch) | |
| tree | 699c87d896204edf74e27673c660e67adee798e4 /varint.h | |
| parent | help: add help_unknown_ref() (diff) | |
| download | tgif-f3f8af0e54a31ffed242dc36482f82393f596ee5.tar.xz | |
merge: use help_unknown_ref()
Use help.c:help_unknown_ref() instead of die() to provide a
friendlier error message before exiting, when one of the refs
specified in a merge is unknown.
Signed-off-by: Vikrant Varma <vikrant.varma94@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'varint.h')
0 files changed, 0 insertions, 0 deletions