Fix
#245
: Replace egrep with grep -E
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Fix #245: Replace egrep with grep -E
Raymond Toy
requested to merge
issue-245-replace-egrep-with-grep
into
master
Jul 23, 2023
Overview
4
Commits
1
Pipelines
1
Changes
2
Running
egrep
says to use
grep -E
instead. Make it so.
Merge request reports
Loading