update to Eclipse 2020-03 RCP base

This commit is contained in:
2020-05-08 09:53:36 +02:00
parent 6b9e3c0e70
commit 60abfb7afd
14 changed files with 124 additions and 61 deletions

View File

@ -98,4 +98,5 @@ org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning
org.eclipse.jdt.core.compiler.problem.unusedTypeParameter=ignore
org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning
org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning
org.eclipse.jdt.core.compiler.release=disabled
org.eclipse.jdt.core.compiler.source=1.8