.settings/org.eclipse.jdt.core.prefs
changeset 13323 f5c1f04bb7ac
parent 2584 7fa6d984c0d3
child 29413 f8e2a4f298ee
--- a/.settings/org.eclipse.jdt.core.prefs	Thu Jul 28 13:55:10 2011 +0200
+++ b/.settings/org.eclipse.jdt.core.prefs	Wed Jun 22 22:08:26 2011 +0200
@@ -1,4 +1,4 @@
-#Wed Jan 14 12:27:06 CET 2009
+#Wed Jun 22 21:40:12 CEST 2011
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6