]> git.99rst.org Git - git.git/commitdiff
Merge branch 'ds/grep-doc-updates'
authorJunio C Hamano <redacted>
Wed, 3 Apr 2024 17:56:19 +0000 (10:56 -0700)
committerJunio C Hamano <redacted>
Wed, 3 Apr 2024 17:56:19 +0000 (10:56 -0700)
Documentation updates.

* ds/grep-doc-updates:
  grep docs: describe --no-index further and improve formatting a bit
  grep docs: describe --recurse-submodules further and improve formatting a bit


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