diff options
| -rw-r--r-- | Documentation/user-manual.txt | 2 |
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 |