iie e3385c7897 Updated to 1.12 ... This is code is amazingly short		2017-06-23 18:12:19 +02:00
..
org.eclipse.core.resources.prefs	Updated to 1.12	2017-06-23 18:12:19 +02:00
org.eclipse.jdt.core.prefs	Updated to 1.12	2017-06-23 18:12:19 +02:00
org.eclipse.m2e.core.prefs	Updated to 1.12	2017-06-23 18:12:19 +02:00