]> rtime.felk.cvut.cz Git - orte.git/blobdiff - orte/contrib/Robot_Demo/.settings/org.eclipse.jdt.core.prefs
ROBOT_DEMO: move to contribs
[orte.git] / orte / contrib / Robot_Demo / .settings / org.eclipse.jdt.core.prefs
diff --git a/orte/contrib/Robot_Demo/.settings/org.eclipse.jdt.core.prefs b/orte/contrib/Robot_Demo/.settings/org.eclipse.jdt.core.prefs
new file mode 100644 (file)
index 0000000..b080d2d
--- /dev/null
@@ -0,0 +1,4 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
+org.eclipse.jdt.core.compiler.compliance=1.6
+org.eclipse.jdt.core.compiler.source=1.6