about summary refs log tree commit diff
path: root/src/etc/cat-and-grep.sh
AgeCommit message (Expand)AuthorLines
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