diff options
author | Junio C Hamano <gitster@pobox.com> | 2016-07-13 15:00:05 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-07-13 15:00:05 -0700 |
commit | 92d80370646a0ce43b0c769027492b3c891090aa (patch) | |
tree | cee7315334fee3145cb4badcc7a400e3e763fbac /git-pull.html | |
parent | 48931e26012d8d7ad1a7e1d9701f52be1b77e45a (diff) | |
download | git-htmldocs-92d80370646a0ce43b0c769027492b3c891090aa.tar.gz |
Autogenerated HTML docs for v2.9.1-273-g79ed4
Diffstat (limited to 'git-pull.html')
-rw-r--r-- | git-pull.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-pull.html b/git-pull.html index f7df3ea06..b0ee45fb3 100644 --- a/git-pull.html +++ b/git-pull.html @@ -1214,7 +1214,7 @@ the current repository has the same history as the source repository.</p></div> <dd>
<p>
When given, and the repository to fetch from is handled
- by <em>git fetch-pack</em>, <em>--exec=<upload-pack></em> is passed to
+ by <em>git fetch-pack</em>, <code>--exec=<upload-pack></code> is passed to
the command to specify non-default path for the command
run on the other end.
</p>
|