config.c: mark die_bad_number as NORETURN
authorJeff King <peff@peff.net>
Wed, 16 Apr 2014 16:51:47 +0000 (12:51 -0400)
committerJunio C Hamano <gitster@pobox.com>
Wed, 16 Apr 2014 17:21:14 +0000 (10:21 -0700)
commit06bdc23...7e5b20ab06bf0feb3d463d032978992f
tree80e533b...7e329ac6234d1a14cb9696ce240cb705copy hash to clipboard (tree)
parent7bbc4e8...db33e0a8e42e77cc05460d4c4f615f4dcopy hash to clipboard (diff)
config.c