Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'rs/help-unknown-ref-does-not-return'
author
Junio C Hamano
<gitster@pobox.com>
Mon, 30 Sep 2019 04:19:27 +0000
(13:19 +0900)
committer
Junio C Hamano
<gitster@pobox.com>
Mon, 30 Sep 2019 04:19:27 +0000
(13:19 +0900)
Code cleanup.
* rs/help-unknown-ref-does-not-return:
help: make help_unknown_ref() NORETURN
1
2
help.c
patch
|
diff1
|
diff2
|
blob
|
history
raw
|
combined
(merge:
3ff6af7
80e3658
)
diff --cc
help.c
Simple merge