Skip to content

Unify concise search and grep output - #460

Merged
jlitola merged 9 commits into
mainfrom
jlitola/search-grep-header-footer-follow-up
Oct 7, 2026
Merged

jlitola merged 9 commits into
mainfrom
jlitola/search-grep-header-footer-follow-up