]> git.99rst.org Git - git.git/commitdiff
Merge branch 'jc/grep-patterntype-default-doc'
authorJunio C Hamano <redacted>
Tue, 21 Dec 2021 23:03:15 +0000 (15:03 -0800)
committerJunio C Hamano <redacted>
Tue, 21 Dec 2021 23:03:15 +0000 (15:03 -0800)
Doc update.

* jc/grep-patterntype-default-doc:
  grep: clarify what `grep.patternType=default` means


Trivial merge
git clone https://git.99rst.org/PROJECT