commit 0166441eb03b6d768965ba684b66ddd76550f740
author Stephan Herrmann <stephan@cs.tu-berlin.de> Thu Apr 01 20:28:43 2010 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> Thu Apr 01 20:28:43 2010 +0000
tree efa7995deba0ec83b64d8cbd613a955ea0beba17
parent 7b7062f3b12bba7ef33116efb94da1f54e069625

initial commit in accordance with CQ 3784

plugins/org.eclipse.objectteams.otdt/.settings/org.eclipse.jdt.core.prefs

diff --git a/plugins/org.eclipse.objectteams.otdt/.settings/org.eclipse.jdt.core.prefs b/plugins/org.eclipse.objectteams.otdt/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000..5bacb66
--- /dev/null
+++ b/plugins/org.eclipse.objectteams.otdt/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,7 @@
+#Tue Sep 18 18:10:56 CEST 2007
+eclipse.preferences.version=1
+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