From 2a14a9a37a1234ff3caf613c8103c58503464e14 Mon Sep 17 00:00:00 2001 From: J-N-K Date: Thu, 15 Oct 2020 17:53:30 +0200 Subject: [PATCH] remove unused profile (#8683) Signed-off-by: Jan N. Klug --- bundles/pom.xml | 41 ----------------------------------------- 1 file changed, 41 deletions(-) diff --git a/bundles/pom.xml b/bundles/pom.xml index 399501ca2d5..f7af5daa79b 100644 --- a/bundles/pom.xml +++ b/bundles/pom.xml @@ -485,47 +485,6 @@ - - - shrink-bundle - - - shrinkBundle.profile - - - - - - com.github.wvengen - proguard-maven-plugin - 2.1.1 - - - shrink-bundle - package - - proguard - - - - - false - true - ${project.build.directory} - - ${java.home}/lib/rt.jar - - - - - - - - - - - - no-embed-dependencies