diff options
author | Benoit Maggi | 2017-05-05 12:51:07 +0000 |
---|---|---|
committer | Gerrit Code Review @ Eclipse.org | 2017-05-05 15:08:51 +0000 |
commit | df1a2b19a09ddd2e4abe7d00127e37b308045392 (patch) | |
tree | 97660532d1a499b725fd82f77da2efd627034573 /features | |
parent | c22b7317b7be64ab9bfeb26a7a42db88f07ad9b7 (diff) | |
download | org.eclipse.papyrus-df1a2b19a09ddd2e4abe7d00127e37b308045392.tar.gz org.eclipse.papyrus-df1a2b19a09ddd2e4abe7d00127e37b308045392.tar.xz org.eclipse.papyrus-df1a2b19a09ddd2e4abe7d00127e37b308045392.zip |
Bug 516243 - [Developer] Remove dev.java.utils and .developer.profile
from repository
- remove both plugins
Change-Id: Ie098639ff84cb0093d8c855288bf264552abf112
Signed-off-by: Benoit Maggi <benoit.maggi@cea.fr>
Diffstat (limited to 'features')
-rw-r--r-- | features/papyrus-dev-features/org.eclipse.papyrus.dev.feature/feature.xml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/features/papyrus-dev-features/org.eclipse.papyrus.dev.feature/feature.xml b/features/papyrus-dev-features/org.eclipse.papyrus.dev.feature/feature.xml index 984d1e3f19d..a0b0bf5c9b0 100644 --- a/features/papyrus-dev-features/org.eclipse.papyrus.dev.feature/feature.xml +++ b/features/papyrus-dev-features/org.eclipse.papyrus.dev.feature/feature.xml @@ -197,11 +197,4 @@ http://www.eclipse.org/legal/epl-v10.html version="0.0.0" unpack="false"/> - <plugin - id="org.eclipse.papyrus.developer.profile" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - </feature> |