diff options
| author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2017-02-08 13:06:41 +0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-02-08 13:37:32 -0800 |
| commit | 209df269a619fdafcf42261aa7cde1a20230fc9e (patch) | |
| tree | 41bbda048a189f16feef3eeded970487214d2f9d /diff-no-index.c | |
| parent | 3b9e3c2cede15057af3ff8076c45ad5f33829436 (diff) | |
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>
Diffstat (limited to 'diff-no-index.c')
0 files changed, 0 insertions, 0 deletions