mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-08-04 22:22:06 -07:00
This specifically avoids touching the file system, which can lead to fairly dramatic speed-ups in large repositories with lots of matches. Closes #2865