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
..
main.yaml	Improve proxy (#1771)	2017-10-11 19:47:27 +01:00