From db1406a5198d70f8522f4477f4b83a3ef208456e Mon Sep 17 00:00:00 2001 From: Markus Frohme Date: Sun, 25 Feb 2024 19:16:27 +0100 Subject: [PATCH] cleanup optional dependency definitions --- distribution/pom.xml | 1 - filters/cache/pom.xml | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/distribution/pom.xml b/distribution/pom.xml index 391a0d5b10..638d8431e9 100644 --- a/distribution/pom.xml +++ b/distribution/pom.xml @@ -277,7 +277,6 @@ limitations under the License. learnlib-examples ${project.version} test - true diff --git a/filters/cache/pom.xml b/filters/cache/pom.xml index 9df06a8d31..63bd7af300 100644 --- a/filters/cache/pom.xml +++ b/filters/cache/pom.xml @@ -79,7 +79,7 @@ limitations under the License. de.learnlib learnlib-parallelism - provided + true