about summary refs log tree commit diff
path: root/src/etc/cat-and-grep.sh
AgeCommit message (Expand)AuthorLines
2024-10-27remove dead code in CGREP scriptjyn-1/+0
2022-09-26simplifykxxt-4/+1
2022-09-22refactor: use grep -E/-F instead of fgrep/egrepkxxt-2/+11
2018-12-25Remove licensesMark Rousskov-10/+0
2018-03-22Use GNU version of fgrep/egrep tool if availableSébastien Marie-0/+5
2017-11-28Replace most call to grep in run-make by a script that cat the input.kennytm-0/+89