2 ms·
This is a great comment and ripgrep deserves a more prominent plug, clickable: https://github.com/BurntSushi/ripgrep https://github.com/BurntSushi/ripgrep
by recuter 10y ago
This is a great comment and ripgrep deserves a more prominent plug, clickable: https://github.com/BurntSushi/ripgrep https://github.com/BurntSushi/ripgrep