rev-list-options.txt: update --all about HEAD
commit209df269a619fdafcf42261aa7cde1a20230fc9e
authorNguyễn Thái Ngọc Duy <pclouds@gmail.com>
Wed, 8 Feb 2017 06:06:41 +0000 (8 13:06 +0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 8 Feb 2017 21:37:32 +0000 (8 13:37 -0800)
tree41bbda048a189f16feef3eeded970487214d2f9d
parent3b9e3c2cede15057af3ff8076c45ad5f33829436
rev-list-options.txt: update --all about HEAD

This is the document patch for f0298cf1c6 (revision walker: include a
detached HEAD in --all - 2009-01-16).

Even though that commit is about detached HEAD, as Jeff pointed out,
always adding HEAD in that case may have subtle differences with
--source or --exclude. So the document mentions nothing about the
detached-ness.

Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/rev-list-options.txt