Giancarlo Panichi 68a7dd6330 Updated to Git and Jenkins		2019-12-02 16:12:31 +01:00
..
org.eclipse.core.resources.prefs	Updated to Git and Jenkins	2019-12-02 16:12:31 +01:00
org.eclipse.jdt.core.prefs	Updated to Git and Jenkins	2019-12-02 16:12:31 +01:00