diff options
author | Jean-Noël Avila <jn.avila@free.fr> | 2021-11-06 21:48:54 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-11-09 20:39:11 +0300 |
commit | a443b762cf2441b631b177e702b405036f8ddc7d (patch) | |
tree | 3133952f642ff411d214180877d342cd0ec2abc6 /Documentation/git-merge-index.txt | |
parent | 89557d68aac22a756534e605e5b236fb71262760 (diff) |
doc: use three dots for indicating repetition instead of star
This is how it is specified in CodingGuidelines.
Signed-off-by: Jean-Noël Avila <jn.avila@free.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-merge-index.txt')
-rw-r--r-- | Documentation/git-merge-index.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-merge-index.txt b/Documentation/git-merge-index.txt index 2ab84a91e5..eea56b3154 100644 --- a/Documentation/git-merge-index.txt +++ b/Documentation/git-merge-index.txt @@ -9,7 +9,7 @@ git-merge-index - Run a merge for files needing merging SYNOPSIS -------- [verse] -'git merge-index' [-o] [-q] <merge-program> (-a | [--] <file>*) +'git merge-index' [-o] [-q] <merge-program> (-a | ( [--] <file>...) ) DESCRIPTION ----------- |