diff options
Diffstat (limited to 'gitremote-helpers.html')
| -rw-r--r-- | gitremote-helpers.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gitremote-helpers.html b/gitremote-helpers.html index 57b295833..36f36fb41 100644 --- a/gitremote-helpers.html +++ b/gitremote-helpers.html @@ -1467,7 +1467,7 @@ set by Git if the remote helper has the <em>option</em> capability.</p></div> </p>
</dd>
<dt class="hdlist1">
-'option push-option <string>
+<em>option push-option</em> <string>
</dt>
<dd>
<p>
@@ -1537,7 +1537,7 @@ the remote side using that algorithm.</p></div> <div id="footer">
<div id="footer-text">
Last updated
- 2022-09-01 13:55:22 PDT
+ 2024-03-18 13:11:00 PDT
</div>
</div>
</body>
|