dahlbaek 28637cec9e Use egrep instead of grep for ERE ... Some implementations of grep do not support extended regular expressions (ERE). Using egrep instead seems to be more portable.		2018-06-22 20:35:36 +02:00
..
cmd	Use egrep instead of grep for ERE	2018-06-22 20:35:36 +02:00
in
selections