> diff --git a/Documentation/git-rev-list.txt b/Documentation/git-rev-list.txt > index 7cd0e89..f7a4891 100644 > --- a/Documentation/git-rev-list.txt > +++ b/Documentation/git-rev-list.txt > @@ -29,6 +29,7 @@ SYNOPSIS > [ \--(author|committer|grep)=<pattern> ] > [ \--regexp-ignore-case | \-i ] > [ \--extended-regexp | \-E ] > + [ \--invert-match ] > [ \--date={local|relative|default|iso|rfc|short} ] > [ [\--objects | \--objects-edge] [ \--unpacked ] ] > [ \--pretty | \--header ] > @@ -238,6 +239,11 @@ limiting may be applied. > Consider the limiting patterns to be extended regular expressions > instead of the default basic regular expressions. > > +--invert-match:: > + > + Show those parts of history that do not match any of the regular > + expression patterns. > + Tabs and spaces? I am afraid people may not understand what "any of the regular expression patterns" means. How about being a bit more explicit, like this? When filtering the commits based on log message (`--grep`) or people (`--author` and `--committer`), show commits that do not match the criteria. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html