commit | 531675ad172f984a6dbc2ac840caaf6ba1015eb0 | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Fri Apr 18 11:17:44 2014 -0700 |
committer | Junio C Hamano <gitster@pobox.com> | Fri Apr 18 11:17:45 2014 -0700 |
tree | e41b57b30d397304734516d1aef3d3db5d607446 | |
parent | 8f87d548b6c1fad5f13886f2b1a5acba2764f3b3 [diff] | |
parent | 06bdc23b7e5b20ab06bf0feb3d463d032978992f [diff] |
Merge branch 'jk/config-die-bad-number-noreturn' Squelch a false compiler warning from older gcc. * jk/config-die-bad-number-noreturn: config.c: mark die_bad_number as NORETURN