commit | 5d0cb1656a59e8b394a7e30a89ee61ce96dfe62d | [log] [tgz] |
---|---|---|
author | David Weiser <david.weiser@vogella.com> | Mon Aug 07 18:16:39 2017 +0200 |
committer | David Weiser <david.weiser@vogella.com> | Mon Aug 07 18:16:39 2017 +0200 |
tree | 53cae39d0ba2a7c533863b407805e01bbff6ca78 | |
parent | 746d4391c962917dddbf7761fa2ce4e5195ccbb2 [diff] |
Bug 520418 - Update org.eclipse.ui.regex to Java 8 Change-Id: I3838f1b54fb49ba8e0940309c7493f288e81b646 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.