lucio d0a7c0520a solved a bug with scope maps		2020-04-07 19:14:43 +02:00
..
org.eclipse.core.resources.prefs	branch for release 4.1	2016-10-03 14:22:42 +00:00
org.eclipse.jdt.core.prefs	solved a bug with scope maps	2020-04-07 19:14:43 +02:00
org.eclipse.m2e.core.prefs	branch for release 4.1	2016-10-03 14:22:42 +00:00