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	Added Tycho build	2015-01-22 13:59:30 +01:00