commit | d1fb3dde3d770f7de96acf1c8706d42e50dc7af9 | [log] [tgz] |
---|---|---|
author | Mickael Istria <mistria@redhat.com> | Fri Jul 22 14:49:08 2016 +0200 |
committer | Mickael Istria <mistria@redhat.com> | Fri Jul 22 14:49:08 2016 +0200 |
tree | 76409658b9fc3b915b93050e073847164ff6f0e1 | |
parent | 2ec047a95e188b38198106eeeb673887bb6ea0ec [diff] |
Use newer Platform parent pom
Several plug-ins from this Git repository have been migrated to eclipse.platform.ui. Please also check this repository if you search for plug-ins starting with org.eclipse.e4.
Please see org.eclipse.platform.ui repository.