diff options
| author | Michael Kaufmann <mail@michael-kaufmann.ch> | 2017-09-24 15:21:44 +0200 |
|---|---|---|
| committer | Michael Kaufmann <mail@michael-kaufmann.ch> | 2017-10-03 18:04:42 +0200 |
| commit | c4ebd8b46de09d45e251bed7e9bfc2a0ddf21d98 (patch) | |
| tree | 8c1a960179955f17b35436f756d5b3a77b3e96f4 /docs/.gitignore | |
| parent | ff6774ea6a03ae193f92e7175e9b96aaffb3f44c (diff) | |
proxy: read the "no_proxy" variable only if necessary
Reviewed-by: Daniel Stenberg
Closes #1919
Diffstat (limited to 'docs/.gitignore')
0 files changed, 0 insertions, 0 deletions