Skip to content

Drop ripgrep from scip-examples#432

Merged
jupblb merged 1 commit into
mainfrom
michal/ripripgrep
Jun 2, 2026
Merged

Drop ripgrep from scip-examples#432
jupblb merged 1 commit into
mainfrom
michal/ripripgrep

Commits

Commits on Jun 2, 2026