Skip to content
Unverified Commit 3f9fc1c5 authored by Peter Newman's avatar Peter Newman Committed by GitHub
Browse files

Merge pull request #2496 from a1346054/fixes 

Use `grep -E` instead of `egrep`
parents 5dbb70fc 9830edba
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment