3 ms·
OpenGrok is okay but I found livegrep (https://livegrep.com https://livegrep.com) to be less of a hassle and lighter. It's been some time since I used either re
by xyzzy_plugh 3y ago
OpenGrok is okay but I found livegrep (https://livegrep.com https://livegrep.com) to be less of a hassle and lighter. It's been some time since I used either regularly, though.