diff options
| author | Johan Herland <johan@herland.net> | 2008-06-15 14:14:12 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-06-16 00:35:10 +0400 |
| commit | 8da1e21231a039889507f4d727882bd0a64e5b95 (patch) | |
| tree | 4f839f2416a22f2e5bde99422ef257b42304759e /Documentation/git-http-push.txt | |
| parent | b96317f38ffea4a869aa5e61e435cf61dc72349d (diff) | |
Consistency: Use "libcurl" instead of "cURL library" and "curl"
Signed-off-by: Johan Herland <johan@herland.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-http-push.txt')
| -rw-r--r-- | Documentation/git-http-push.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-http-push.txt b/Documentation/git-http-push.txt index 8d32a92049..d69b20549b 100644 --- a/Documentation/git-http-push.txt +++ b/Documentation/git-http-push.txt @@ -15,8 +15,8 @@ DESCRIPTION Sends missing objects to remote repository, and updates the remote branch. -*NOTE*: This command is temporarily disabled if your cURL -library is older than 7.16, as the combination has been reported +*NOTE*: This command is temporarily disabled if your libcurl +is older than 7.16, as the combination has been reported not to work and sometimes corrupts repository. OPTIONS |