Merge branch 'nd/rev-list-all-includes-HEAD-doc'
commit653078bbddef3ecd454c3e36b9e43629128967db
authorJunio C Hamano <gitster@pobox.com>
Fri, 10 Feb 2017 20:52:27 +0000 (10 12:52 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 10 Feb 2017 20:52:27 +0000 (10 12:52 -0800)
tree4bd4cc47993b8a731593304b379aa74bc32bfff3
parentc1462b840517ec0d572b11848fefbd35e65a4f98
parent209df269a619fdafcf42261aa7cde1a20230fc9e
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