Add support for configurable HTTP proxy host/port in PluginManager.java

Dariusz Bywalec

2014-12-02 d86f4a0860704e3bda77fa9622a8d0210265b616

1
2
3
[project "main"] 
    title = Main Repositories 
    description = main group of repositories