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/git-gui.txt | |
| parent | 475495ff5e071c895dca772cb59e277ceff84d84 (diff) | |
| parent | 661c3e9bc064564a492281364413dc805eaddf95 (diff) | |
| download | git-1032eb9c2aa34b4a908fb9d2d1cfe9680e0c34ce.tar.gz | |
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/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 8144527ae0..c1a3e8bf07 100644 --- a/Documentation/git-gui.txt +++ b/Documentation/git-gui.txt @@ -35,7 +35,7 @@ blame:: browser:: Start a tree browser showing all files in the specified - commit (or 'HEAD' by default). Files selected through the + commit (or `HEAD` by default). Files selected through the browser are opened in the blame viewer. citool:: |