Skip to content

New option: Stop on non-match after a match#1930

Closed
edoardopirovano wants to merge 1 commit intoBurntSushi:masterfrom edoardopirovano:stop-first-nonmatch
+103-11

Commits

Commits on Jul 8, 2021