diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-05-04 07:36:22 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-05-04 07:36:22 -0700 |
commit | 4c60d9a1a0d0cd01727aff4334b00cf25935e634 (patch) | |
tree | 38c1fba4058501e8fe7e8e2760ec92a236896214 /gitremote-helpers.html | |
parent | 8decc2321270ed62283cf47685f2a355b8de4c57 (diff) | |
download | git-htmldocs-4c60d9a1a0d0cd01727aff4334b00cf25935e634.tar.gz |
Autogenerated HTML docs for v2.13.0-rc2
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 34ca6a9f5..e4ca56d53 100644 --- a/gitremote-helpers.html +++ b/gitremote-helpers.html @@ -1371,7 +1371,7 @@ set by Git if the remote helper has the <em>option</em> capability.</p></div> </dt>
<dd>
<p>
- Transmit <string> as a push option. As the a push option
+ Transmit <string> as a push option. As the push option
must not contain LF or NUL characters, the string is not encoded.
</p>
</dd>
@@ -1398,7 +1398,7 @@ set by Git if the remote helper has the <em>option</em> capability.</p></div> <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2017-02-15 15:17:51 PST
+Last updated 2017-05-04 07:33:43 PDT
</div>
</div>
</body>
|