Ignore:
Timestamp:
2014-10-18T22:35:29+02:00 (10 years ago)
Author:
donvip
Message:

[josm_plugins] fix projects settings

File:
1 edited

Legend:

Unmodified
Added
Removed

  • applications/editors/josm/plugins/OpeningHoursEditor/.settings/org.eclipse.jdt.core.prefs

    r30416 r30736  
    2121org.eclipse.jdt.core.compiler.problem.emptyStatement=ignore
    2222org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
    23 org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable=ignore
     23org.eclipse.jdt.core.compiler.problem.explicitlyClosedAutoCloseable=warning
    2424org.eclipse.jdt.core.compiler.problem.fallthroughCase=ignore
    2525org.eclipse.jdt.core.compiler.problem.fatalOptionalError=disabled
    … …  
    7272org.eclipse.jdt.core.compiler.problem.redundantNullAnnotation=warning
    7373org.eclipse.jdt.core.compiler.problem.redundantNullCheck=ignore
    74 org.eclipse.jdt.core.compiler.problem.redundantSpecificationOfTypeArguments=ignore
     74org.eclipse.jdt.core.compiler.problem.redundantSpecificationOfTypeArguments=warning
    7575org.eclipse.jdt.core.compiler.problem.redundantSuperinterface=ignore
    7676org.eclipse.jdt.core.compiler.problem.reportMethodCanBePotentiallyStatic=ignore
Note: See TracChangeset for help on using the changeset viewer.