Ignore:
Timestamp:
01/11/23 17:19:24 (19 months ago)
Author:
phdmakk
Message:

+ updated manifests and class paths, Java 11, etc.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • v2/trunk/de.ugoe.cs.swe.bnftools.ebnf/.settings/org.eclipse.jdt.core.prefs

    r72 r104  
    11eclipse.preferences.version=1 
    22org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled 
    3 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 
    4 org.eclipse.jdt.core.compiler.compliance=1.5 
     3org.eclipse.jdt.core.compiler.codegen.targetPlatform=11 
     4org.eclipse.jdt.core.compiler.compliance=11 
    55org.eclipse.jdt.core.compiler.problem.assertIdentifier=error 
     6org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled 
    67org.eclipse.jdt.core.compiler.problem.enumIdentifier=error 
    7 org.eclipse.jdt.core.compiler.source=1.5 
     8org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning 
     9org.eclipse.jdt.core.compiler.release=enabled 
     10org.eclipse.jdt.core.compiler.source=11 
Note: See TracChangeset for help on using the changeset viewer.