diff options
author | Jonathan Nieder <jrnieder@uchicago.edu> | 2008-07-03 00:36:04 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-07-05 11:24:39 -0700 |
commit | 04c2407eafa0361439a60fd6240447f3404d014b (patch) | |
tree | 0a3cb4cbcfd1f7d5f0cd3f0bc686fac97cace037 /Documentation/git-reflog.txt | |
parent | 877276d4d3018d2810be990c39fa7f59678e960d (diff) | |
download | git-04c2407eafa0361439a60fd6240447f3404d014b.tar.gz |
manpages: italicize command names in synopses
To tell command names from options in a glance.
Signed-off-by: Jonathan Nieder <jrnieder@uchicago.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-reflog.txt')
-rw-r--r-- | Documentation/git-reflog.txt | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Documentation/git-reflog.txt b/Documentation/git-reflog.txt index d963c5155d..1710626cfa 100644 --- a/Documentation/git-reflog.txt +++ b/Documentation/git-reflog.txt @@ -16,12 +16,12 @@ The command takes various subcommands, and different options depending on the subcommand: [verse] -git reflog expire [--dry-run] [--stale-fix] [--verbose] +'git reflog expire' [--dry-run] [--stale-fix] [--verbose] [--expire=<time>] [--expire-unreachable=<time>] [--all] <refs>... - -git reflog delete ref@\{specifier\}... - -git reflog [show] [log-options] [<ref>] ++ +'git reflog delete' ref@\{specifier\}... ++ +'git reflog' ['show'] [log-options] [<ref>] Reflog is a mechanism to record when the tip of branches are updated. This command is to manage the information recorded in it. |