diff --git a/plugins/fr.inria.diverse.melange.ui/plugin.xml b/plugins/fr.inria.diverse.melange.ui/plugin.xml index 02ae591e5..0c8eebc70 100644 --- a/plugins/fr.inria.diverse.melange.ui/plugin.xml +++ b/plugins/fr.inria.diverse.melange.ui/plugin.xml @@ -711,23 +711,23 @@ visible="true">