Browse Source

minor change to settings

terfloth@itemis.de 13 years ago
parent
commit
aab89cd561

+ 5 - 1
plugins/org.yakindu.sct.model.stext.resource/.settings/org.eclipse.jdt.core.prefs

@@ -1,8 +1,12 @@
-#Wed Dec 14 17:00:27 CET 2011
+#Thu Feb 23 00:05:36 CET 2012
 eclipse.preferences.version=1
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
 org.eclipse.jdt.core.compiler.compliance=1.5
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate
+org.eclipse.jdt.core.compiler.debug.localVariable=generate
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
 org.eclipse.jdt.core.compiler.source=1.5