replace source dependency to emf-profiles with plug-in dependency

Description

replace source dependency to develop-kit branch of emf-profiles git repository with a normal plug-in dependency to emf-profiles update site. For this the develop-kit branch of emf-profiles has to be merged with the main branch and a new version has to be released on the emf profiles update site

Environment

None

Activity

Show:
Stephan Seifermann
December 12, 2017, 7:07 PM

This has already been done in revision 27304.

Fixed

Assignee

Sebastian Lehrig

Reporter

Max Kramer

Labels

None

Requirement Category

None

External issue URL

None

Fix versions

Priority

Major