diff options
| author | Daniel Carl <danielcarl@gmx.de> | 2017-05-26 23:34:17 +0200 |
|---|---|---|
| committer | Daniel Carl <danielcarl@gmx.de> | 2017-05-26 23:34:17 +0200 |
| commit | fbeb327bf26980bbeea5acc3dfe5b4b36f512edf (patch) | |
| tree | 301bed1c458aeaee16a8defbd7b7b2def6ee8c4f /src/config.def.h | |
| parent | 773a71ca67dc3b637ee5bb578175c10914690574 (diff) | |
Removed no_proxy from man.
This is not done by vimb at the time because the proxy stuff is done by
webkit itself.
Diffstat (limited to 'src/config.def.h')
0 files changed, 0 insertions, 0 deletions