mirror of
https://github.com/git/git.git
synced 2026-03-16 19:50:09 +01:00
Code cleanup. * rs/help-unknown-ref-does-not-return: help: make help_unknown_ref() NORETURN
20 KiB
20 KiB