Eyck Jentzsch f8a177c9e0 Revert "update to Eclipse 2020-03 RCP base" ... This reverts commit 077a6f8011.		2020-05-08 10:39:43 +02:00
..
org.eclipse.jdt.core.prefs	Revert "update to Eclipse 2020-03 RCP base"	2020-05-08 10:39:43 +02:00
org.eclipse.m2e.core.prefs	Added Tycho build	2015-01-22 13:59:30 +01:00