Fadi Maali 0e21c0e594 correct classpath references and java version ... - updated classpath references to existing versions of the libraries. - Java version upgraded to 7 as some Java 7 specific features are used. - corrected references to old project name (grefine-all) in the launch script		2017-07-18 22:15:46 +01:00
..
.jsdtscope	Convert to faceted project so we can have Javascript highlighting	2010-10-15 20:10:43 +00:00
org.eclipse.jdt.core.prefs	correct classpath references and java version	2017-07-18 22:15:46 +01:00
org.eclipse.jdt.ui.prefs	Drop -extension suffix	2010-10-14 20:35:16 +00:00
org.eclipse.wst.common.project.facet.core.xml	Switch Java facet to Java 1.6 as well	2010-10-15 20:16:55 +00:00
org.eclipse.wst.jsdt.ui.superType.container	Convert to faceted project so we can have Javascript highlighting	2010-10-15 20:10:43 +00:00
org.eclipse.wst.jsdt.ui.superType.name	Convert to faceted project so we can have Javascript highlighting	2010-10-15 20:10:43 +00:00