]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'ma/rev-list-options-docfix'
authorJunio C Hamano <gitster@pobox.com>
Fri, 29 May 2020 22:12:19 +0000 (15:12 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 29 May 2020 22:12:20 +0000 (15:12 -0700)
Docfix.

* ma/rev-list-options-docfix:
  rev-list-options.txt: start a list for `show-pulls`


Trivial merge