diff options
| author | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2012-08-04 15:54:07 +0000 |
|---|---|---|
| committer | gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4> | 2012-08-04 15:54:07 +0000 |
| commit | fda34884b648bcc1eacc81c7e61904c308545ceb (patch) | |
| tree | 4ecba85b331bee33fd8cb90b15a1246e2eb924a5 /tools/eclipse/config_wizard/.settings | |
| parent | b43e91d43be2e7ccb3d8ea41dc6ce783580d9cdb (diff) | |
| download | ChibiOS-fda34884b648bcc1eacc81c7e61904c308545ceb.tar.gz ChibiOS-fda34884b648bcc1eacc81c7e61904c308545ceb.tar.bz2 ChibiOS-fda34884b648bcc1eacc81c7e61904c308545ceb.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@4506 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'tools/eclipse/config_wizard/.settings')
| -rw-r--r-- | tools/eclipse/config_wizard/.settings/org.eclipse.jdt.core.prefs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/eclipse/config_wizard/.settings/org.eclipse.jdt.core.prefs b/tools/eclipse/config_wizard/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 000000000..da0e3846d --- /dev/null +++ b/tools/eclipse/config_wizard/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,8 @@ +#Mon Jul 30 11:37:30 CEST 2012
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
+org.eclipse.jdt.core.compiler.compliance=1.6
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.6
|