-
Manuel Jacob authored
This avoids the warning “egrep: warning: egrep is obsolescent; using grep -E” on my Arch Linux system. This is similar to 7e5be4a7cda7 in core.
02f8c88f3d59
This avoids the warning “egrep: warning: egrep is obsolescent; using grep -E” on my Arch Linux system. This is similar to 7e5be4a7cda7 in core.