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 @@
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
   </properties>
 
-  <distributionManagement>
-    <repository>
-      <id>mltk-repo</id>
-      <name>mltk-services repo</name>
-      <url>http://mltk-services.ruf.uni-freiburg.de:8081/nexus/content/repositories/releases/</url>
-    </repository>
-    <snapshotRepository>
-      <id>mltk-repo</id>
-      <name>mltk-services repo</name>
-      <url>http://mltk-services.ruf.uni-freiburg.de:8081/nexus/content/repositories/snapshots/</url>
-    </snapshotRepository>
-  </distributionManagement>
-
   <build>
     <plugins>
       <plugin>
@@ -32,8 +19,8 @@
         <artifactId>maven-compiler-plugin</artifactId>
         <version>3.1</version>
         <configuration>
-          <source>1.7</source>
-          <target>1.7</target>
+          <source>1.8</source>
+          <target>1.8</target>
         </configuration>
       </plugin>
     </plugins>
-- 
cgit v1.2.3-55-g7522