David Roberts febc2f08d6 Use egrep instead of grep -E for Solaris ... Closes #15628		2016-01-04 17:07:43 +00:00
..
packaging	Fix rpm and deb distributions	2015-11-18 14:16:42 -05:00
resources	Use egrep instead of grep -E for Solaris	2016-01-04 17:07:43 +00:00