Giancarlo Panichi 4b3eca66bb Updated to Git and Jenkins		2019-12-02 15:23:40 +01:00
..
org.eclipse.core.resources.prefs	Updated to Git and Jenkins	2019-12-02 15:23:40 +01:00
org.eclipse.jdt.core.prefs	Updated to Git and Jenkins	2019-12-02 15:23:40 +01:00