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.txt | |
parent | 8decc2321270ed62283cf47685f2a355b8de4c57 (diff) | |
download | git-htmldocs-4c60d9a1a0d0cd01727aff4334b00cf25935e634.tar.gz |
Autogenerated HTML docs for v2.13.0-rc2
Diffstat (limited to 'gitremote-helpers.txt')
-rw-r--r-- | gitremote-helpers.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gitremote-helpers.txt b/gitremote-helpers.txt index e4b785eb6..4a584f3c5 100644 --- a/gitremote-helpers.txt +++ b/gitremote-helpers.txt @@ -463,7 +463,7 @@ set by Git if the remote helper has the 'option' capability. GPG sign pushes. 'option push-option <string>:: - 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. SEE ALSO |