diff --git a/doc/user.xml b/doc/user.xml index 961590c4c..a7f809db5 100644 --- a/doc/user.xml +++ b/doc/user.xml @@ -2087,13 +2087,6 @@ run database. - - Note that unless overridden by the below settings (e.g. by - setting them to a blank value), general curl configuration - from environment variables such as http_proxy or specified - in ~/.curlrc will be in effect. - -