Add configuration setting to set proxy server#201

Merged

smellai merged 6 commits intoarduino:develfrom

hannobraun:proxy-setting

Jul 26, 2018

Commits on Jan 26, 2018

Add configuration setting to set proxy server
hannobraun
committed

Commits on Jul 24, 2018

Merge branch 'devel' into proxy-setting
matteosuppo
authored

Commits on Jul 25, 2018

Add httpsProxy variable
matteosuppo
committed

Commits on Jul 26, 2018