From 216b5a4d65b49e00b952c5b3b335488549bb294a Mon Sep 17 00:00:00 2001 From: Mike Hearn Date: Sun, 3 Jun 2012 15:49:21 +0200 Subject: [PATCH] Remove a useless section. --- tools/pom.xml | 3 --- 1 file changed, 3 deletions(-) diff --git a/tools/pom.xml b/tools/pom.xml index 2f3cb45e..6433a31a 100644 --- a/tools/pom.xml +++ b/tools/pom.xml @@ -39,9 +39,6 @@ maven-shade-plugin 1.6 - - - true