remove duplicate
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 4 Mar 2013 14:44:41 +0000 (15:44 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 4 Mar 2013 14:44:41 +0000 (15:44 +0100)
commitec878fdba7d729dd64a8c172bc65b539e5e0a158
treed41fb2e1a765ee2c8736ee248cda7c83c3af6172
parentac4738d8b9f72414ad94708f99578a62cc01938a
remove duplicate
engine/plugin.py