diff options
| author | Đoàn Trần Công Danh <congdanhqx@gmail.com> | 2022-09-21 15:02:29 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2022-09-21 20:00:18 +0200 |
| commit | 2e092725e6f73d20080c3a71c0d8e234f266cb8d (patch) | |
| tree | b082c5c648504e0216cc3428a397b156910f8307 /t | |
| parent | A bit more of remaining topics before -rc1 (diff) | |
| download | git-2e092725e6f73d20080c3a71c0d8e234f266cb8d.tar.xz git-2e092725e6f73d20080c3a71c0d8e234f266cb8d.zip | |
CodingGuidelines: allow grep -E
Despite forbidden by CodingGuidelines, our usage of 'grep -E' has been
increased over the years, and noone has come and complained.
Let's lift the restriction.
Signed-off-by: Đoàn Trần Công Danh <congdanhqx@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions