commit | 44cc560afee41892796c0b57c6831c3452e5af19 | [log] [tgz] |
---|---|---|
author | cbrun <cedric.brun@obeo.fr> | Mon Sep 26 17:44:17 2016 +0200 |
committer | cbrun <cedric.brun@obeo.fr> | Mon Sep 26 17:44:17 2016 +0200 |
tree | 678de5ee3752b007d68ec369c90e5973ab922916 | |
parent | 1fd16fa363a6b1c4fb528f4e5f51a88785912f40 [diff] |
[491982] Make sure plugin o.e.e.ecoretools.ui gets installed Bug: 491982