Changeset 3644


Ignore:
Timestamp:
Mar 31, 2008, 6:12:35 PM (13 years ago)
Author:
yura
Message:
  • Do not generate line info.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/java/.settings/org.eclipse.jdt.core.prefs

    r3643 r3644  
    1 #Sat Mar 29 23:35:38 MSK 2008
     1#Mon Mar 31 18:11:45 MSD 2008
    22eclipse.preferences.version=1
    33instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
     
    88org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
    99org.eclipse.jdt.core.compiler.compliance=1.5
    10 org.eclipse.jdt.core.compiler.debug.lineNumber=generate
    11 org.eclipse.jdt.core.compiler.debug.localVariable=generate
    12 org.eclipse.jdt.core.compiler.debug.sourceFile=generate
     10org.eclipse.jdt.core.compiler.debug.lineNumber=do not generate
     11org.eclipse.jdt.core.compiler.debug.localVariable=do not generate
     12org.eclipse.jdt.core.compiler.debug.sourceFile=do not generate
    1313org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
    1414org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
Note: See TracChangeset for help on using the changeset viewer.