# HG changeset patch # User dwinter # Date 1294042397 -3600 # Node ID 52023cf79d8620d3bcd32d9ef9cf4f9b02126a4d # Parent 79a66ee101f5ff32520b52f277882cb8e398d5e8 first release (continued) diff -r 79a66ee101f5 -r 52023cf79d86 .classpath --- a/.classpath Mon Jan 03 09:12:49 2011 +0100 +++ b/.classpath Mon Jan 03 09:13:17 2011 +0100 @@ -11,11 +11,6 @@ - - - - - diff -r 79a66ee101f5 -r 52023cf79d86 .settings/org.eclipse.jdt.core.prefs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.settings/org.eclipse.jdt.core.prefs Mon Jan 03 09:13:17 2011 +0100 @@ -0,0 +1,8 @@ +#Mon Dec 27 10:56:13 CET 2010 +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 +org.eclipse.jdt.core.compiler.compliance=1.5 +org.eclipse.jdt.core.compiler.problem.assertIdentifier=error +org.eclipse.jdt.core.compiler.problem.enumIdentifier=error +org.eclipse.jdt.core.compiler.source=1.5