Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

Commit 18255727 authored by Dominique Marcadet's avatar Dominique Marcadet

upadte pom of editor feature

parent ebf86710
......@@ -13,11 +13,9 @@
<!-- It should be specified in pom-root, but then Maven fails to find dependencies ??
......@@ -25,21 +23,25 @@
<!-- This needed parameter seems to be ignored if put in the pom root file -->
<!-- RiseClipse needed plugins
See https://wiki.eclipse.org/Tycho/Target_Platform "POM dependencies consider"
However, only editor is required, not main !
<!-- RiseClipse plugins needed -->
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment