3 ms·The one reply to that comment is also great: > ripgrep is fasterby skilled 2y agoThe one reply to that comment is also great: > ripgrep is faster