projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75b2f01) | patch
help: make help_unknown_ref() NORETURN
authorRené Scharfe <l.s.r@web.de>
Thu, 29 Aug 2019 19:13:16 +0000 (21:13 +0200)
committerJunio C Hamano <gitster@pobox.com>
Fri, 30 Aug 2019 17:22:42 +0000 (10:22 -0700)
commit80e3658647561c4a8587978747752f6f63a96717
treede5d82aaa08bfeb34f5aa7058da5e42f90911282tree | snapshot
parent75b2f01a0f642b39b0f29b6218515df9b5eb798ecommit | diff
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>
help.c diff | blob | blame | history
help.h diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.