diff options
| author | René Scharfe <l.s.r@web.de> | 2019-08-29 21:13:16 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-08-30 10:22:42 -0700 |
| commit | 80e3658647561c4a8587978747752f6f63a96717 (patch) | |
| tree | de5d82aaa08bfeb34f5aa7058da5e42f90911282 /ref-filter.c | |
| parent | 75b2f01a0f642b39b0f29b6218515df9b5eb798e (diff) | |
| download | git-80e3658647561c4a8587978747752f6f63a96717.tar.xz | |
help: make help_unknown_ref() NORETURN
Announce that calling help_unknown_ref() exits the program.
Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ref-filter.c')
0 files changed, 0 insertions, 0 deletions