Guus der Kinderen eeef5cbf30 SPARK-1888: Uninstall a plugin when the GUI instructs so. ...

This is a fix to what I assume to be a bug. The method, used by the UI part where plugins are managed,
is documented as 'remove and uninstall' a plugin. It only removed, but did not uninstall. I've fixed that
with this commit.

2017-07-28 18:14:46 +02:00

..

src

SPARK-1888: Uninstall a plugin when the GUI instructs so.

2017-07-28 18:14:46 +02:00

pom.xml

Merge pull request #355 from guusdk/efficiency

2017-07-23 11:42:22 +03:00