From f6df11da60d244fc08f7dddc2fbb4c67473292d0 Mon Sep 17 00:00:00 2001
From: Alexander Schlemmer <alexander.schlemmer@ds.mpg.de>
Date: Tue, 19 Mar 2019 15:52:14 +0100
Subject: [PATCH] FIX: pluginManagement in pom.xml causes errors
---
pom.xml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/pom.xml b/pom.xml
index 3c45e664..48e769c5 100644
--- a/pom.xml
+++ b/pom.xml
@@ -164,7 +164,7 @@
<testSourceDirectory>${basedir}/src/test/java</testSourceDirectory>
<outputDirectory>${basedir}/target/classes</outputDirectory>
<testOutputDirectory>${basedir}/target/test-classes</testOutputDirectory>
- <pluginManagement>
+
<plugins>
<plugin>
<groupId>org.antlr</groupId>
@@ -243,7 +243,7 @@
</executions>
</plugin>
</plugins>
- </pluginManagement>
+
</build>
<url>bmp.ds.mpg.de</url>
--
GitLab