Merge branch 'dl/rev-list-doc-cleanup'
Doc update. * dl/rev-list-doc-cleanup: git-rev-list.txt: prune options in synopsis
Junio C Hamano committed
Oct 11, 2019 at 14:24 UTC
07f25ad8b235c2682a36ee76d59734ec3f08c413
No changes.