mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-03-23 04:34:39 +02:00
Some brief playing around suggests that it is faster. However, it's probably slower in a VM. Let's prioritize native users.
Some brief playing around suggests that it is faster. However, it's probably slower in a VM. Let's prioritize native users.