Laurent Rineau 4c5b5843e3 sed -i -e 's/egrep/grep -E/g'		2022-07-01 16:19:36 +02:00
..
include/CGAL/Testsuite	…
package_info/Testsuite	…
test	sed -i -e 's/egrep/grep -E/g'	2022-07-01 16:19:36 +02:00