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