Polus plugins : removing one or all plugins

[agerardin]

Description

It would be helpful to be able to delete plugins programmatically

This would prevent a whole set of bugs to creep in (currently there seems to be some name clashing problems in polus.plugins)