Document the exploration plugins
Collection ticket
This ticket defines the id of the working branch. It shall contain the updates of the developer documentation and the ecore models.
(from redmine: issue id 3680, created on 2019-03-21, closed on 2019-07-03)
- Relations:
- child #3681 (closed)
- child #3682 (closed)
- child #3683 (closed)
- child #3684 (closed)
- child #3685 (closed)