summaryrefslogtreecommitdiff
path: root/Documentation/gitk.txt
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2016-07-13 11:24:14 -0700
committerJunio C Hamano <gitster@pobox.com>2016-07-13 11:24:14 -0700
commitce18123cec7674b58bb57272fdfa28de6ecc6b18 (patch)
treefce7f39f74bb41dd3dc6d730752c24fc4ddda2c9 /Documentation/gitk.txt
parentfc8a3a607227297a5ec7b0ac60173a82b84b248f (diff)
parent661c3e9bc064564a492281364413dc805eaddf95 (diff)
downloadgit-ce18123cec7674b58bb57272fdfa28de6ecc6b18.tar.gz
Merge branch 'mm/doc-tt'
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/gitk.txt')
-rw-r--r--Documentation/gitk.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/gitk.txt b/Documentation/gitk.txt
index 6ade002176..a68d860fa3 100644
--- a/Documentation/gitk.txt
+++ b/Documentation/gitk.txt
@@ -82,7 +82,7 @@ linkgit:git-rev-list[1] for a complete list.
--simplify-merges::
- Additional option to '--full-history' to remove some needless
+ Additional option to `--full-history` to remove some needless
merges from the resulting history, as there are no selected
commits contributing to this merge. (See "History
simplification" in linkgit:git-log[1] for a more detailed