From e9494b41fd8a8dd673b8537e74787a3842001faf Mon Sep 17 00:00:00 2001 From: Lorenzo Bettini Date: Wed, 15 Nov 2023 13:36:15 +0100 Subject: [PATCH] warning compilers.p.exec-env-too-low --- .../.settings/org.eclipse.pde.prefs | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/org.eclipse.emf.parsley.doc.websitegen/.settings/org.eclipse.pde.prefs b/doc/org.eclipse.emf.parsley.doc.websitegen/.settings/org.eclipse.pde.prefs index 2174e4fd5..a37b7af59 100644 --- a/doc/org.eclipse.emf.parsley.doc.websitegen/.settings/org.eclipse.pde.prefs +++ b/doc/org.eclipse.emf.parsley.doc.websitegen/.settings/org.eclipse.pde.prefs @@ -12,6 +12,7 @@ compilers.p.build.source.library=1 compilers.p.build.src.includes=1 compilers.p.deprecated=1 compilers.p.discouraged-class=1 +compilers.p.exec-env-too-low=2 compilers.p.internal=1 compilers.p.missing-packages=2 compilers.p.missing-version-export-package=2