Commit d8b547d4 authored 5 years ago by André Anjos

Merge branch 'issue-47-ripgrep-hack-removal' into 'master'

Remove hacks for ripgrep issue (closes #47)

Closes #47

See merge request !134

No related branches found

No related tags found

Checking pipeline status