PluginManager/PluginManager.py

changeset 5904
2ff6078532c0
parent 5853
e45a570528a4
child 6008
ac5057f80f60
--- 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

eric ide

mercurial