Skip to content

Fix bug where opts.search_max_lines was not respected#647

Merged
epwalsh merged 2 commits intomainfrom epwalsh/search-max-linesJul 11, 2024

Commits

Commits on Jul 11, 2024