Revert "update to Eclipse 2020-03 RCP base"

This reverts commit 077a6f8011.
This commit is contained in:
2020-05-08 10:39:43 +02:00
parent 60abfb7afd
commit 10a0608fd3
14 changed files with 61 additions and 124 deletions

View File

@ -98,5 +98,4 @@ 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