Skip to content

Fix #245: Replace egrep with grep -E

Raymond Toy requested to merge issue-245-replace-egrep-with-grep into master

Running egrep says to use grep -E instead. Make it so.

Merge request reports