From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 10 Feb 2017 20:52:27 +0000 (-0800)
Subject: Merge branch 'nd/rev-list-all-includes-HEAD-doc'
X-Git-Tag: v2.12.0-rc1~1
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=653078bbddef3ecd454c3e36b9e43629128967db;p=git-core%2Fgit.git

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
---

653078bbddef3ecd454c3e36b9e43629128967db