]> git.ipfire.org Git - thirdparty/git.git/commit
Merge branch 'dl/rev-list-doc-cleanup'
authorJunio C Hamano <gitster@pobox.com>
Fri, 11 Oct 2019 05:24:48 +0000 (14:24 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 11 Oct 2019 05:24:49 +0000 (14:24 +0900)
commit07f25ad8b235c2682a36ee76d59734ec3f08c413
treef96da7ae73aa102fc70288cd76a0a991c8ac0bc9
parentf0d407e6ae8dfe89683d86ebaba5f6f08959e8b3
parent11a3d3aadd3ec1747a4cb216b2676aeb07c0d64b
Merge branch 'dl/rev-list-doc-cleanup'

Doc update.

* dl/rev-list-doc-cleanup:
  git-rev-list.txt: prune options in synopsis