]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'jc/grep-patterntype-default-doc'
authorJunio C Hamano <gitster@pobox.com>
Tue, 21 Dec 2021 23:03:15 +0000 (15:03 -0800)
committerJunio C Hamano <gitster@pobox.com>
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