commit e001a770ca2ad938dad052505950acf6d5e541e8
author david_williams <david_williams> Tue Nov 09 18:52:16 2010 +0000
committer david_williams <david_williams> Tue Nov 09 18:52:16 2010 +0000
tree 617bf878c0c8c01adbe87fb6301f7ff5541ecd94
parent 2bc99abbd30b95ac35edf4091c0931389ca483a9

329376

releng.wtptools/aaa/.settings/org.eclipse.jdt.core.prefs

diff --git a/releng.wtptools/aaa/.settings/org.eclipse.jdt.core.prefs b/releng.wtptools/aaa/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000..ad83c7a
--- /dev/null
+++ b/releng.wtptools/aaa/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,8 @@
+#Tue Nov 09 13:38:18 EST 2010
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.6
+org.eclipse.jdt.core.compiler.compliance=1.6