3 ms·
git grep is the best option, in my view if you want to go beyond, advanced stuff like elastic search might be necessary, though
by jokoon 5y ago
git grep is the best option, in my view
if you want to go beyond, advanced stuff like elastic search might be necessary, though