diff options
author | Junio C Hamano <gitster@pobox.com> | 2024-03-18 13:13:29 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2024-03-18 13:13:29 -0700 |
commit | 14bbea308b8f4813af1010e5f9073446365652df (patch) | |
tree | 16bdc383032dc9bbd503531de47414ea5a1fa027 /gitremote-helpers.html | |
parent | 57106e685a757e77968537aeb950cbc39a2d57f0 (diff) | |
download | git-htmldocs-14bbea308b8f4813af1010e5f9073446365652df.tar.gz |
Autogenerated HTML docs for v2.44.0-279-g3bd955
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>
|