tree f96da7ae73aa102fc70288cd76a0a991c8ac0bc9
parent f0d407e6ae8dfe89683d86ebaba5f6f08959e8b3
parent 11a3d3aadd3ec1747a4cb216b2676aeb07c0d64b
author Junio C Hamano <gitster@pobox.com> 1570771488 +0900
committer Junio C Hamano <gitster@pobox.com> 1570771489 +0900

Merge branch 'dl/rev-list-doc-cleanup'

Doc update.

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