diff options
Diffstat (limited to 'git-pull.html')
-rw-r--r-- | git-pull.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/git-pull.html b/git-pull.html index 9619fa577..a3cf05308 100644 --- a/git-pull.html +++ b/git-pull.html @@ -1763,8 +1763,8 @@ use will be rewritten into URLs that work), you can create a configuration section of the form:</p></div>
<div class="listingblock">
<div class="content">
-<pre><code> [url "<actual url base>"]
- insteadOf = <other url base></code></pre>
+<pre><code> [url "<actual-url-base>"]
+ insteadOf = <other-url-base></code></pre>
</div></div>
<div class="paragraph"><p>For example, with this:</p></div>
<div class="listingblock">
@@ -1779,8 +1779,8 @@ rewritten in any context that takes a URL to be "git://git.host.xz/repo.git".</p configuration section of the form:</p></div>
<div class="listingblock">
<div class="content">
-<pre><code> [url "<actual url base>"]
- pushInsteadOf = <other url base></code></pre>
+<pre><code> [url "<actual-url-base>"]
+ pushInsteadOf = <other-url-base></code></pre>
</div></div>
<div class="paragraph"><p>For example, with this:</p></div>
<div class="listingblock">
|