diff options
author | Junio C Hamano <gitster@pobox.com> | 2016-07-28 11:25:54 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-07-28 11:25:54 -0700 |
commit | 1032eb9c2aa34b4a908fb9d2d1cfe9680e0c34ce (patch) | |
tree | 10bf06936fb9e52fccc4fd2cf929d5fd7eb421a1 /Documentation/rev-list-options.txt | |
parent | Merge branch 'js/sign-empty-commit-fix' into maint (diff) | |
parent | doc: typeset HEAD and variants as literal (diff) | |
download | tgif-1032eb9c2aa34b4a908fb9d2d1cfe9680e0c34ce.tar.xz |
Merge branch 'mm/doc-tt' into maint
More mark-up updates to typeset strings that are expected to
literally typed by the end user in fixed-width font.
* mm/doc-tt:
doc: typeset HEAD and variants as literal
CodingGuidelines: formatting HEAD in documentation
doc: typeset long options with argument as literal
doc: typeset '--' as literal
doc: typeset long command-line options as literal
doc: typeset short command-line options as literal
Documentation/git-mv.txt: fix whitespace indentation
Diffstat (limited to 'Documentation/rev-list-options.txt')
-rw-r--r-- | Documentation/rev-list-options.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/rev-list-options.txt b/Documentation/rev-list-options.txt index 4f009d4424..c5bd21812d 100644 --- a/Documentation/rev-list-options.txt +++ b/Documentation/rev-list-options.txt @@ -193,7 +193,7 @@ endif::git-rev-list[] --stdin:: In addition to the '<commit>' listed on the command - line, read them from the standard input. If a '--' separator is + line, read them from the standard input. If a `--` separator is seen, stop reading commits and start reading paths to limit the result. |