| commit | 21b990ae80b968ba07fccfa46838e62d4622a2a4 | [log] [tgz] |
|---|---|---|
| author | David Weiser <david.weiser@vogella.com> | Tue Sep 26 17:25:37 2017 +0200 |
| committer | David Weiser <david.weiser@vogella.com> | Tue Sep 26 17:25:37 2017 +0200 |
| tree | 726bee071fddfb236e195e7fe98229da7dd8c3c5 | |
| parent | 6c1c3878e88e4cb500652cbb9e5b0b1e3950f1ca [diff] |
Bug 520417 - Add org.eclipse.ui.regex to update site of e4.ui Change-Id: I9d2779e019636068e9a44916b0ff0809b57f5e4b Signed-off-by: David Weiser <david.weiser@vogella.com>
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.