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