|
Last change
on this file since 30416 was 30416, checked in by donvip, 10 years ago |
|
[josm_plugins] switch plugins to Java 7
|
|
File size:
364 bytes
|
| Line | |
|---|
| 1 | eclipse.preferences.version=1
|
|---|
| 2 | org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
|
|---|
| 3 | org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
|
|---|
| 4 | org.eclipse.jdt.core.compiler.compliance=1.7
|
|---|
| 5 | org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
|
|---|
| 6 | org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
|
|---|
| 7 | org.eclipse.jdt.core.compiler.source=1.7
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
