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	Rename 'unit' test directory to 'normal' as they are the normal mode tests	2017-06-09 10:48:37 +01:00
selections	Rename 'unit' test directory to 'normal' as they are the normal mode tests	2017-06-09 10:48:37 +01:00