diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-12-27 11:58:35 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-12-27 11:58:35 -0800 |
commit | 0f1291dcb49cd80bdb333eecb5f978a6a5ac3818 (patch) | |
tree | c8082d36556025d6bcea28f0b0afd313c809c34b /git-rev-list.txt | |
parent | 047135e65db3686c7b168ba029e8545071e5226f (diff) | |
download | git-htmldocs-0f1291dcb49cd80bdb333eecb5f978a6a5ac3818.tar.gz |
Autogenerated HTML docs for v2.15.1-501-g29533f
Diffstat (limited to 'git-rev-list.txt')
-rw-r--r-- | git-rev-list.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/git-rev-list.txt b/git-rev-list.txt index ef22f1775..88609ff43 100644 --- a/git-rev-list.txt +++ b/git-rev-list.txt @@ -47,7 +47,9 @@ SYNOPSIS [ --fixed-strings | -F ] [ --date=<format>] [ [ --objects | --objects-edge | --objects-edge-aggressive ] - [ --unpacked ] ] + [ --unpacked ] + [ --filter=<filter-spec> [ --filter-print-omitted ] ] ] + [ --missing=<missing-action> ] [ --pretty | --header ] [ --bisect ] [ --bisect-vars ] |