From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 11 Oct 2019 05:24:48 +0000 (+0900)
Subject: Merge branch 'dl/rev-list-doc-cleanup'
X-Git-Tag: v2.24.0-rc0~31
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=07f25ad8b235c2682a36ee76d59734ec3f08c413;p=git

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

Doc update.

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

07f25ad8b235c2682a36ee76d59734ec3f08c413