diff options
author | René Genz <liebundartig@freenet.de> | 2017-04-30 17:48:27 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-05-01 04:01:52 +0200 |
commit | 5621760f59c0655e41045c3141deef9791858916 (patch) | |
tree | 5843801e0024ec06a820ecae321239692ad23a68 /Documentation/gitremote-helpers.txt | |
parent | Git 2.13-rc0 (diff) | |
download | git-5621760f59c0655e41045c3141deef9791858916.tar.xz git-5621760f59c0655e41045c3141deef9791858916.zip |
fix minor typos
Helped-by: Stefan Beller <sbeller@google.com>
Signed-off-by: René Genz <liebundartig@freenet.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/gitremote-helpers.txt')
-rw-r--r-- | Documentation/gitremote-helpers.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/gitremote-helpers.txt b/Documentation/gitremote-helpers.txt index e4b785eb60..4a584f3c5d 100644 --- a/Documentation/gitremote-helpers.txt +++ b/Documentation/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 |