References to, includes from, and redirects to vgrep: a visual grep

Date Name Who What
2023-10-25 14:08:15 Graffiti ABU reference
2023-11-24 14:47:26 JM jorge reference
2019-08-11 16:46:30 RS pooryorick reference