|
Last change
on this file since 1471 was
1243,
checked in by wschamai, 13 years ago
|
|
NEW: plugin for verification models traceability
|
|
File size:
395 bytes
|
| Line | |
|---|
| 1 | #Thu Jan 26 11:03:22 CET 2012 |
|---|
| 2 | eclipse.preferences.version=1 |
|---|
| 3 | org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled |
|---|
| 4 | org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6 |
|---|
| 5 | org.eclipse.jdt.core.compiler.compliance=1.6 |
|---|
| 6 | org.eclipse.jdt.core.compiler.problem.assertIdentifier=error |
|---|
| 7 | org.eclipse.jdt.core.compiler.problem.enumIdentifier=error |
|---|
| 8 | org.eclipse.jdt.core.compiler.source=1.6 |
|---|
Note: See
TracBrowser
for help on using the repository browser.
