]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dda7228) | patch
CodingGuidelines: allow grep -E
authorĐoàn Trần Công Danh <congdanhqx@gmail.com>
Wed, 21 Sep 2022 13:02:29 +0000 (20:02 +0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 21 Sep 2022 18:00:18 +0000 (11:00 -0700)
commit2e092725e6f73d20080c3a71c0d8e234f266cb8d
treeb082c5c648504e0216cc3428a397b156910f8307tree | snapshot
parentdda7228a83e2e9ff584bf6adbf55910565b41e14commit | diff
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>
Documentation/CodingGuidelines diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.