log core/grep/grep.sh @ 265:a22a2fbba590

age author description
Mon, 11 Mar 2019 20:36:00 +0100 David Demelier vanilla: general cleanup
Mon, 11 Mar 2019 14:59:13 +0100 David Demelier core: merge .sh and .info
Sat, 09 Mar 2019 15:47:08 +0100 David Demelier core/grep: initial import, closes #1026