4 ms·
Needs a new name. "Grepping" is a thing but not close to what your extension does. https://en.wikipedia.org/wiki/Grep https://en.wikipedia.org/wiki/Grep
by baobun 1y ago
Needs a new name. "Grepping" is a thing but not close to what your extension does.
https://en.wikipedia.org/wiki/Grep https://en.wikipedia.org/wiki/Grep