lucio bf41f48891 updateRoles added		2019-10-04 18:44:55 +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	updateRoles added	2019-10-04 18:44:55 +02:00
org.eclipse.m2e.core.prefs	branch for release 4.1	2016-10-03 14:22:42 +00:00