Giancarlo Panichi 0054871067 Updated to Git and Jenkins		2019-11-29 17:26:16 +01:00
..
org.eclipse.core.resources.prefs	Updated to Git and Jenkins	2019-11-29 17:26:16 +01:00
org.eclipse.jdt.core.prefs	Updated to Git and Jenkins	2019-11-29 17:26:16 +01:00