Gina Häußge a42868d7eb Allow marking plugins as uninstalled ... Sometimes they will still get discovered by python even though their packages have since been uninstalled. This will also lead to them being reloaded after an uninstall and a subsequent plugin reload. Marking them as uninstalled and not handing out uninstalled plugins when collecting them solves this.		2015-05-29 16:25:18 +02:00
..
__init__.py	New hooks for command processing in comm layer	2015-05-28 17:06:24 +02:00
core.py	Allow marking plugins as uninstalled	2015-05-29 16:25:18 +02:00
types.py	[doc] <pluginname> => <plugin identifier>	2015-04-27 16:10:23 +02:00