Title: [887] trunk/.settings/org.eclipse.jdt.core.prefs: Updated Eclipse settings.
Revision
887
Author
mauro
Date
2008-08-23 10:06:43 -0500 (Sat, 23 Aug 2008)

Log Message

Updated Eclipse settings.

Modified Paths


Diff

Modified: trunk/.settings/org.eclipse.jdt.core.prefs (886 => 887)

--- trunk/.settings/org.eclipse.jdt.core.prefs	2008-08-22 08:40:45 UTC (rev 886)
+++ trunk/.settings/org.eclipse.jdt.core.prefs	2008-08-23 15:06:43 UTC (rev 887)
@@ -1,3 +1,6 @@
-#Tue Apr 08 09:49:01 BST 2008
+#Sat Aug 23 15:39:19 BST 2008
 eclipse.preferences.version=1
 org.eclipse.jdt.core.builder.cleanOutputFolder=ignore
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
+org.eclipse.jdt.core.compiler.compliance=1.5
+org.eclipse.jdt.core.compiler.source=1.5


To unsubscribe from this list please visit:

http://xircles.codehaus.org/manage_email

Reply via email to