Francesco Mangiacrapa 3c48cb542e Merge branch 'feature/18039'		2019-11-13 12:37:24 +01:00
..
com.google.gwt.eclipse.core.prefs	Changed structure of the library (which is now a gwt widget basically).	2017-01-24 16:24:22 +00:00
org.eclipse.core.resources.prefs	First import	2016-06-07 14:00:05 +00:00
org.eclipse.jdt.core.prefs	enhanced version to 2.12.0	2019-11-12 17:02:02 +01:00
org.eclipse.m2e.core.prefs	First import	2016-06-07 14:00:05 +00:00
org.eclipse.wst.common.component	Merge branch 'feature/18039'	2019-11-13 12:37:24 +01:00
org.eclipse.wst.common.project.facet.core.xml	pom fixes, moved to java 1.8. Version is 2.3	2017-05-05 10:13:55 +00:00
org.eclipse.wst.validation.prefs	First import	2016-06-07 14:00:05 +00:00