diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-09-30 13:19:27 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-09-30 13:19:27 +0900 |
commit | 8e111e487bbb939406655619e7ed241bd263d85c (patch) | |
tree | c54ee7a093f5bfb8ff582b232392ae126b8d2a96 /banned.h | |
parent | Merge branch 'nd/switch-and-restore' (diff) | |
parent | help: make help_unknown_ref() NORETURN (diff) | |
download | tgif-8e111e487bbb939406655619e7ed241bd263d85c.tar.xz |
Merge branch 'rs/help-unknown-ref-does-not-return'
Code cleanup.
* rs/help-unknown-ref-does-not-return:
help: make help_unknown_ref() NORETURN
Diffstat (limited to 'banned.h')
0 files changed, 0 insertions, 0 deletions