Luca Frosini 06eaafe6c5 Version 2.0.0		2019-12-04 09:57:49 +01:00
..
org.eclipse.core.resources.prefs	Version 2.0.0	2019-12-04 09:57:49 +01:00
org.eclipse.jdt.core.prefs	Version 2.0.0	2019-12-04 09:57:49 +01:00