Eyck Jentzsch 10a0608fd3 Revert "update to Eclipse 2020-03 RCP base" ... This reverts commit 077a6f8011.		2020-05-09 12:52:47 +02:00
..
org.eclipse.jdt.core.prefs	Revert "update to Eclipse 2020-03 RCP base"	2020-05-09 12:52:47 +02:00
org.eclipse.m2e.core.prefs	Restructured plugins	2015-11-03 22:30:49 +01:00
org.eclipse.pde.core.prefs	Restructured plugins	2015-11-03 22:30:49 +01:00