Statistics
| Revision:

root / tmp / org.txm.ocaml.core / .settings / org.eclipse.jdt.core.prefs @ 2123

History | View | Annotate | Download (357 Bytes)

1 2123 mdecorde
eclipse.preferences.version=1
2 2123 mdecorde
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
3 2123 mdecorde
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
4 2123 mdecorde
org.eclipse.jdt.core.compiler.compliance=1.7
5 2123 mdecorde
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
6 2123 mdecorde
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
7 2123 mdecorde
org.eclipse.jdt.core.compiler.source=1.7