Fix PluginManager not properly respecting --noverify

James Moger

2014-10-27 6ec71bc27f23c89f84bfb662ce180af3a9691dd8

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