Merged #228 "Add support for configurable HTTP proxy host/port in PluginMan...

James Moger

2014-12-03 b9b8932e390d26ef3ad0b5c67e0b1200c50874f7

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