tree 4bd4cc47993b8a731593304b379aa74bc32bfff3
parent c1462b840517ec0d572b11848fefbd35e65a4f98
parent 209df269a619fdafcf42261aa7cde1a20230fc9e
author Junio C Hamano <gitster@pobox.com> 1486759947 -0800
committer Junio C Hamano <gitster@pobox.com> 1486759947 -0800

Merge branch 'nd/rev-list-all-includes-HEAD-doc'

Doc update.

* nd/rev-list-all-includes-HEAD-doc:
  rev-list-options.txt: update --all about HEAD