diff options
| author | Jean-Noël Avila <jn.avila@free.fr> | 2021-11-06 19:48:51 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-11-09 09:39:11 -0800 |
| commit | 49cbad0edd4dcf53e373e9fd27a9c36a41fb044e (patch) | |
| tree | 1277d6695052d575c0b2278b8f1706062a5db581 /Documentation/git-gui.txt | |
| parent | 06ebae09f57da52ae28b3c1548718c42063fab31 (diff) | |
| download | git-49cbad0edd4dcf53e373e9fd27a9c36a41fb044e.tar.gz | |
doc: express grammar placeholders between angle brackets
This discerns user inputs from verbatim options in the synopsis.
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-gui.txt')
| -rw-r--r-- | Documentation/git-gui.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-gui.txt b/Documentation/git-gui.txt index c9d7e96214..e8f3ccb433 100644 --- a/Documentation/git-gui.txt +++ b/Documentation/git-gui.txt @@ -8,7 +8,7 @@ git-gui - A portable graphical interface to Git SYNOPSIS -------- [verse] -'git gui' [<command>] [arguments] +'git gui' [<command>] [<arguments>] DESCRIPTION ----------- |