Author: koen.aers(a)jboss.com Date: 2011-08-12 11:20:28 -0400 (Fri, 12 Aug 2011) New Revision: 33847 Removed: trunk/forge/plugins/org.jboss.tools.forge.runtime.ext/.settings/org.eclipse.jdt.core.prefs Log: cleanup Deleted: trunk/forge/plugins/org.jboss.tools.forge.runtime.ext/.settings/org.eclipse.jdt.core.prefs =================================================================== --- trunk/forge/plugins/org.jboss.tools.forge.runtime.ext/.settings/org.eclipse.jdt.core.prefs 2011-08-12 15:20:05 UTC (rev 33846) +++ trunk/forge/plugins/org.jboss.tools.forge.runtime.ext/.settings/org.eclipse.jdt.core.prefs 2011-08-12 15:20:28 UTC (rev 33847) @@ -1,8 +0,0 @@ -#Mon Jul 11 18:25:11 CEST 2011 -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6 -org.eclipse.jdt.core.compiler.compliance=1.6 -org.eclipse.jdt.core.compiler.problem.assertIdentifier=error -org.eclipse.jdt.core.compiler.problem.enumIdentifier=error -org.eclipse.jdt.core.compiler.source=1.6