From 5641f23fe1e52192909d2ddb794257677dac7f64 Mon Sep 17 00:00:00 2001
From: Giancarlo Panichi <Giancarlo Panichi@dlib32.isti.cnr.it>
Date: Fri, 29 Nov 2019 15:20:19 +0100
Subject: [PATCH] Updated to Git and Jenkins

---
 pom.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index d8d31a9..4bbf0ee 100644
--- a/pom.xml
+++ b/pom.xml
@@ -365,7 +365,6 @@
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>
 				<artifactId>maven-compiler-plugin</artifactId>
-				<version>${maven-compiler-plugin.version}</version>
 				<configuration>
 					<source>${maven.compiler.source}</source>
 					<target>${maven.compiler.target}</target>