]> git.ipfire.org Git - thirdparty/git.git/commitdiff
projects / thirdparty / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e76218c 6e9ef29)
Merge branch 'ds/grep-doc-updates'
authorJunio C Hamano <gitster@pobox.com>
Wed, 3 Apr 2024 17:56:19 +0000 (10:56 -0700)
committerJunio C Hamano <gitster@pobox.com>
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
Unnamed repository; edit this file 'description' to name the repository.