Giancarlo Panichi ac5754482c Updated to Git and Jenkins		2019-11-27 18:04:04 +01:00
..
org.eclipse.core.resources.prefs	Updated to Git and Jenkins	2019-11-27 18:04:04 +01:00
org.eclipse.jdt.core.prefs	Updated to Git and Jenkins	2019-11-27 17:55:40 +01:00
org.eclipse.m2e.core.prefs	Synch with branch	2016-11-03 16:27:14 +00:00