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