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-10-11 19:47:27 +01:00
2017-09-13 19:00:51 +01:00
2016-08-23 10:15:30 +02:00