Skip to content

Remove hacks for ripgrep issue (closes #47)

André Anjos requested to merge issue-47-ripgrep-hack-removal into master

Removing hack... Closes #47 (closed)

Merge request reports