Andrew's git / gitweb.git / diff
?
Merge branch 'nd/rev-list-all-includes-HEAD-doc'
authorJunio C Hamano <gitster@pobox.com>
Fri, 10 Feb 2017 20:52:27 +0000 (12:52 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 10 Feb 2017 20:52:27 +0000 (12:52 -0800)
Doc update.

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

Trivial merge