From: Jakub Narebski Date: Sat, 16 Jun 2007 19:03:43 GMT Subject: [PATCH 07/11] Document git rev-list --full-history Message-ID: <11820206343380-git-send-email-jnareb@gmail.com> In-Reply-To: <11820206272990-git-send-email-jnareb@gmail.com> Signed-off-by: Jakub Narebski --- Documentation/git-rev-list.txt | 9 +++++++++ 1 files changed, 9 insertions(+), 0 deletions(-) diff --git a/Documentation/git-rev-list.txt b/Documentation/git-rev-list.txt index f5e5786..32cb13f 100644 --- a/Documentation/git-rev-list.txt +++ b/Documentation/git-rev-list.txt @@ -16,6 +16,7 @@ SYNOPSIS [ \--sparse ] [ \--no-merges ] [ \--remove-empty ] + [ \--full-history ] [ \--not ] [ \--all ] [ \--stdin ] @@ -232,6 +233,14 @@ limiting may be applied. Stop when a given path disappears from the tree. +--full-history:: + + Show also parts of history irrelevant to current state of a given + path. This turns off history simplification, which removed merges + which didn't change anything at all at some child. It will still actually + simplify away merges that didn't change anything at all into either + child. + --no-merges:: Do not print commits with more than one parent. -- 1.5.2