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 /plugins/developer/org.eclipse.papyrus.releng.dev.release/about.html | |
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 'plugins/developer/org.eclipse.papyrus.releng.dev.release/about.html')
0 files changed, 0 insertions, 0 deletions