Skip to content

Use ripgrep if installed#119

Open
mithraen wants to merge 1 commit intol3kn:mainfrom mithraen:main

Commits

Commits on Dec 20, 2023