PluginManager/PluginRepositoryDialog.py

changeset 5395
56efc13e456e
parent 5389
9b1c800daff3
child 5588
6ba512d9f46a
--- a/PluginManager/PluginRepositoryDialog.py	Sun Jan 01 18:09:48 2017 +0100
+++ b/PluginManager/PluginRepositoryDialog.py	Sun Jan 01 18:13:13 2017 +0100
@@ -648,7 +648,7 @@
                 if version.count(".") >= 3:
                     # cope for extended version numbers by ignoring
                     # the extension
-                    version = ".".join(version.split(".",3)[:3])
+                    version = ".".join(version.split(".", 3)[:3])
                 if pluginDetails["version"] < version:
                     return PluginRepositoryWidget.PluginStatusLocalUpdate
             

eric ide

mercurial