summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGravatar Jan Mulder <jlmulder@xs4all.nl>2017-03-17 11:11:52 +0100
committerGravatar Dirk Hohndel <dirk@hohndel.org>2017-03-24 09:32:41 -0700
commit58eeb3f825ec1ea611c85541fb869d7364f9ddb4 (patch)
tree2bcd90599da932a2eb04397d17d48680b6e64b0c
parent94d6b523308a89c43662e392a11d0268e5df2a63 (diff)
downloadsubsurface-58eeb3f825ec1ea611c85541fb869d7364f9ddb4.tar.gz
user manual: section is called Proxy
Section is called Proxy and nor Proxy Type (which is attribute in the section). Simple incorrect wording fixed. Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
-rw-r--r--Documentation/user-manual.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 823ba3494..13e34306e 100644
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -3350,7 +3350,7 @@ image::images/Pref5_f23.jpg["FIGURE: Preferences Network page",align="center"]
This dialogue has three sections:
-** _Proxy type_:
+** _Proxy_:
If a proxy server is used for Internet access, the type of proxy needs to be selected from the dropdown list,
after which the IP address of the host and the appropriate port number should
be provided. If the proxy server uses authentication, the appropriate userID and