plugins.updater: inherits from Plugin
authorJordan Augé <jordan.auge@lip6.fr>
Tue, 13 Aug 2013 14:42:28 +0000 (16:42 +0200)
committerJordan Augé <jordan.auge@lip6.fr>
Tue, 13 Aug 2013 14:42:28 +0000 (16:42 +0200)

No differences found