Matthew Mosesohn eb0dcf6063 Improve proxy (#1771)
* Set no_proxy to all local ips

* Use proxy settings on all necessary tasks
2017-10-11 19:47:27 +01:00
..
2017-03-01 09:38:19 -08:00
2017-08-10 13:49:14 -07:00
2017-10-11 19:47:27 +01:00