really keep __init__ out of the list of plugins
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 26 Jun 2013 14:47:11 +0000 (16:47 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 26 Jun 2013 14:47:11 +0000 (16:47 +0200)

No differences found