diff options
Diffstat (limited to 'git-push.html')
| -rw-r--r-- | git-push.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/git-push.html b/git-push.html index 1aeffea37..6cd8c752f 100644 --- a/git-push.html +++ b/git-push.html @@ -1429,8 +1429,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">
@@ -1445,8 +1445,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">
|