]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'ps/revision-stdin-with-options'
authorJunio C Hamano <gitster@pobox.com>
Thu, 17 Aug 2023 22:50:05 +0000 (15:50 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 17 Aug 2023 22:50:05 +0000 (15:50 -0700)
Typofix to documentation added during this cycle.

* ps/revision-stdin-with-options:
  rev-list-options: fix typo in `--stdin` documentation


Trivial merge