diff -r 7e7002215f9e -r 2ff6078532c0 PluginManager/PluginManager.py --- a/PluginManager/PluginManager.py Sun Oct 15 17:21:20 2017 +0200 +++ b/PluginManager/PluginManager.py Sun Oct 15 17:21:51 2017 +0200 @@ -1324,7 +1324,6 @@ if getattr(module, "pluginType", "") == type_: if hasattr(module, "clearPrivateData"): module.clearPrivateData() - # TODO: document this in the plug-ins paper # # eflag: noqa = M801