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.