Luca Frosini 058ecf906b fixed pom		2019-12-05 12:49:13 +01:00
..
org.eclipse.core.resources.prefs	Changed the way to read all contexts	2018-05-18 14:38:19 +00:00
org.eclipse.jdt.core.prefs	fixed pom	2019-12-05 12:49:13 +01:00