source: java/PlatformTools/.settings/org.eclipse.jdt.core.prefs@ 1179

Last change on this file since 1179 was 724, checked in by alloc, 12 years ago

Platform tools library (information about platform, program execution)

File size: 587 bytes
RevLine 
[724]1eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
3org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
4org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
5org.eclipse.jdt.core.compiler.compliance=1.6
6org.eclipse.jdt.core.compiler.debug.lineNumber=generate
7org.eclipse.jdt.core.compiler.debug.localVariable=generate
8org.eclipse.jdt.core.compiler.debug.sourceFile=generate
9org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
10org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
11org.eclipse.jdt.core.compiler.source=1.6
Note: See TracBrowser for help on using the repository browser.