Commit
24152f4d
authored
Jul 26, 2023
by
Raymond Toy
Browse files
Merge branch 'issue-245-replace-egrep-with-grep' into 'master'
Fix
#245
: Replace egrep with grep -E Closes
#245
See merge request
!158
parents
0411c386
3e8b0a12
Loading
Loading
Loading
Loading
Changes
2
Pipelines
2