Merge branch 'dd/retire-efgrep' into es/retire-efgrep
* dd/retire-efgrep: t: convert fgrep usage to "grep -F" t: convert egrep usage to "grep -E" t: remove \{m,n\} from BRE grep usage CodingGuidelines: allow grep -E
Junio C Hamano committed
Sep 23, 2022 at 08:31 UTC
75fc96d57e1262fe4b6bf87b5887e9103bcca7fb
No changes.