Giancarlo Panichi fabf1c5cd8 Updated to Git and Jenkins		2020-11-12 15:50:21 +01:00
..
org.eclipse.core.resources.prefs	branch for release 4.6.1	2017-07-28 15:59:17 +00:00
org.eclipse.jdt.core.prefs	Updated to Git and Jenkins	2020-11-12 15:50:21 +01:00
org.eclipse.m2e.core.prefs	branch for release 4.6.1	2017-07-28 15:59:17 +00:00