From d1becff4d73b42bb349b43d4d4dd63a2eb7d786e Mon Sep 17 00:00:00 2001 From: Simon Rettberg Date: Thu, 25 Mar 2021 13:57:52 +0100 Subject: Update pom.xml: remove mltk-services, Java 1.8 --- pom.xml | 17 ++--------------- 1 file changed, 2 insertions(+), 15 deletions(-) diff --git a/pom.xml b/pom.xml index 3f39806..172c9e8 100644 --- a/pom.xml +++ b/pom.xml @@ -12,19 +12,6 @@ UTF-8 - - - mltk-repo - mltk-services repo - http://mltk-services.ruf.uni-freiburg.de:8081/nexus/content/repositories/releases/ - - - mltk-repo - mltk-services repo - http://mltk-services.ruf.uni-freiburg.de:8081/nexus/content/repositories/snapshots/ - - - @@ -32,8 +19,8 @@ maven-compiler-plugin 3.1 - 1.7 - 1.7 + 1.8 + 1.8 -- cgit v1.2.3-55-g7522