Skip to content
Snippets Groups Projects

Remove hacks for ripgrep issue (closes #47)

Merged André Anjos requested to merge issue-47-ripgrep-hack-removal into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:05:57

avatar
Download artifacts

No artifacts found

Loading