tree 6720a1177e1497a567d22cc6f6fa5306915f4815
parent 6fc5542564fed67a4547e1b85f9d677b81ca3164
parent bea866587c7639fac4146cadfdee30fcc9815c36
author Junio C Hamano <gitster@pobox.com> 1596140431 -0700
committer Junio C Hamano <gitster@pobox.com> 1596140432 -0700

Merge branch 'pb/log-rev-list-doc' into master

"git help log" has been enhanced by sharing more material from the
documentation for the underlying "git rev-list" command.

* pb/log-rev-list-doc:
  git-log.txt: include rev-list-description.txt
  git-rev-list.txt: move description to separate file
  git-rev-list.txt: tweak wording in set operations
  git-rev-list.txt: fix Asciidoc syntax
  revisions.txt: describe 'rev1 rev2 ...' meaning for ranges
  git-log.txt: add links to 'rev-list' and 'diff' docs