From 04f928e2b0cc6c470097d8083713776a3e949fa8 Mon Sep 17 00:00:00 2001 From: Max Kellermann Date: Mon, 28 May 2018 20:01:00 +0200 Subject: [PATCH] doc/user.xml: remove copy&paste fallout --- doc/user.xml | 7 ------- 1 file changed, 7 deletions(-) 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. - -