diff options
| author | Denton Liu <liu.denton@gmail.com> | 2019-05-05 16:06:59 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-05-07 15:09:06 (GMT) |
| commit | e277ff43d34af1f9f5fbbde92307737f85afaa56 (patch) | |
| tree | de5da388e446d352cbab5435e5a8e035180a19cf /Documentation | |
| parent | 268fbcd172cdb306e8a3e7143cc16677c963d6cd (diff) | |
| download | git-e277ff43d34af1f9f5fbbde92307737f85afaa56.zip git-e277ff43d34af1f9f5fbbde92307737f85afaa56.tar.gz git-e277ff43d34af1f9f5fbbde92307737f85afaa56.tar.bz2 | |
revisions.txt: change "rev" to "<rev>"
In revisions.txt, there were some instances of a rev argument being
written as "rev". However, since they didn't mean the string literal,
write "<rev>", instead.
Signed-off-by: Denton Liu <liu.denton@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/revisions.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Documentation/revisions.txt b/Documentation/revisions.txt index 7d1bd44..2859d77 100644 --- a/Documentation/revisions.txt +++ b/Documentation/revisions.txt @@ -159,12 +159,12 @@ thing no matter the case. '<rev>{caret}0' is a short-hand for '<rev>{caret}\{commit\}'. + -'rev{caret}\{object\}' can be used to make sure 'rev' names an -object that exists, without requiring 'rev' to be a tag, and -without dereferencing 'rev'; because a tag is already an object, +'<rev>{caret}\{object\}' can be used to make sure '<rev>' names an +object that exists, without requiring '<rev>' to be a tag, and +without dereferencing '<rev>'; because a tag is already an object, it does not have to be dereferenced even once to get to an object. + -'rev{caret}\{tag\}' can be used to ensure that 'rev' identifies an +'<rev>{caret}\{tag\}' can be used to ensure that '<rev>' identifies an existing tag object. '<rev>{caret}{}', e.g. 'v0.99.8{caret}{}':: |