From: Daniel Carl <danielcarl@gmx.de>
Date: Fri, 26 May 2017 21:34:17 +0000 (+0200)
Subject: Removed no_proxy from man.
X-Git-Url: https://git.owens.tech/112-editable-focus.html/112-editable-focus.html/git?a=commitdiff_plain;h=fbeb327bf26980bbeea5acc3dfe5b4b36f512edf;p=vimb.git

Removed no_proxy from man.

This is not done by vimb at the time because the proxy stuff is done by
webkit itself.
---

diff --git a/doc/vimb.1 b/doc/vimb.1
index 306d0f1..ef1b81c 100644
--- a/doc/vimb.1
+++ b/doc/vimb.1
@@ -1,4 +1,5 @@
 .\" vim: ft=groff
+.ss 12 0
 .ad l
 .TH VIMB 1 "DATE" "vimb/VERSION" "Vimb Manual"
 .de EX
@@ -986,7 +987,7 @@ Whether JavaScript can access the clipboard.
 .TP
 .B javascript-can-open-windows-automatically (bool)
 Whether JavaScript can open popup windows automatically without user
-intervention.
+interaction.
 .TP
 .B media-playback-allows-inline (bool)
 Whether media playback is full-screen only or inline playback is allowed.
@@ -1189,13 +1190,6 @@ PREFIX/share/vimb/examples.
 If this variable is set to an non-empty value, and the configuration option
 `proxy' is enabled, this will be used as HTTP proxy.
 If the proxy URL has no scheme set, HTTP is assumed.
-.TP
-.B no_proxy
-A comma separated list of domains and/or IPs which should not be proxied.
-Note that an IPv6 address must appear in brackets if used with a port,
-for example "[::1]:443".
-.IP
-Example: "localhost,127.0.0.1,::1,fc00::/7,example.com:8080"
 .SH "REPORTING BUGS"
 Report bugs to the main project page on https://github.com/fanglingsu/vimb/issues
 .br