]> granicus.if.org Git - git/commitdiff
projects / git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c6bc2fe 11a3d3a)
Merge branch 'dl/rev-list-doc-cleanup' into next
authorJunio C Hamano <gitster@pobox.com>
Mon, 7 Oct 2019 02:42:14 +0000 (11:42 +0900)
committerJunio C Hamano <gitster@pobox.com>
Mon, 7 Oct 2019 02:42:14 +0000 (11:42 +0900)
Doc update.

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


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.