Michael Peter Christen 63ad8ce6b2 removed ymarks ... had not been used since a long time		2021-09-16 22:23:51 +02:00
..
org.eclipse.jdt.core.prefs	migrated Solr 5.5 -> Solr 6.6 and from Java 1.7 -> 1.8	2017-06-09 12:25:23 +02:00
org.eclipse.jdt.ui.prefs	Recommended cleanup (please, one day, execute this cleanup)	2013-07-17 18:26:50 +02:00
org.eclipse.wst.validation.prefs	removed ymarks	2021-09-16 22:23:51 +02:00