diff options
| author | Junio C Hamano <gitster@pobox.com> | 2022-10-07 17:19:59 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2022-10-07 17:19:59 -0700 |
| commit | de73968e521b5029de731bcaeef4bed0af868839 (patch) | |
| tree | 3ae4ba1c2c229d9de7da5e7804c595d7a4db1e49 /git-gui/lib/win32_shortcut.js | |
| parent | 410a0e520dcc91d13f77fd812f068161859883fc (diff) | |
| parent | 37eb90f79a97cfeb216c7afe7bb0f129edfc10e4 (diff) | |
Merge branch 'dd/retire-efgrep'
Prepare for GNU [ef]grep that throw warning of their uses.
* 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
Diffstat (limited to 'git-gui/lib/win32_shortcut.js')
0 files changed, 0 insertions, 0 deletions