diff options
| author | Jonathan Nieder <jrnieder@uchicago.edu> | 2008-07-03 00:59:09 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-07-05 11:24:40 -0700 |
| commit | 5833d730efb7131bccbcdcab13ba56707629be2c (patch) | |
| tree | 9e0299412247a17143904ea28c6642ceac073b44 /Documentation/gitcvs-migration.txt | |
| parent | 2fd02c92dbb6e575b7e62ea9dfa85ef45ebe58b6 (diff) | |
| download | git-5833d730efb7131bccbcdcab13ba56707629be2c.tar.gz git-5833d730efb7131bccbcdcab13ba56707629be2c.tar.xz | |
manpages: italicize git subcommand names (which were in teletype font)
Italicize those git subcommand names already in teletype we missed.
Signed-off-by: Jonathan Nieder <jrnieder@uchicago.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/gitcvs-migration.txt')
| -rw-r--r-- | Documentation/gitcvs-migration.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/gitcvs-migration.txt b/Documentation/gitcvs-migration.txt index 2737d10aa..2eb6972a9 100644 --- a/Documentation/gitcvs-migration.txt +++ b/Documentation/gitcvs-migration.txt @@ -46,7 +46,7 @@ them first before running git pull. [NOTE] ================================ -The `pull` command knows where to get updates from because of certain +The 'pull' command knows where to get updates from because of certain configuration variables that were set by the first 'git-clone' command; see `git config -l` and the linkgit:git-config[1] man page for details. @@ -67,7 +67,7 @@ push again. In the 'git-push' command above we specify the name of the remote branch to update (`master`). If we leave that out, 'git-push' tries to update any branches in the remote repository that have the same name as a branch -in the local repository. So the last `push` can be done with either of: +in the local repository. So the last 'push' can be done with either of: ------------ $ git push origin |