diff --git a/plugins/io.sarl.eclipse/plugin.xml b/plugins/io.sarl.eclipse/plugin.xml index be0777543a..b725114225 100644 --- a/plugins/io.sarl.eclipse/plugin.xml +++ b/plugins/io.sarl.eclipse/plugin.xml @@ -245,6 +245,10 @@ name="appName" value="%product.name"> + +