From 586d9b262586cf96b8c98432aadbfd77d461ae5d Mon Sep 17 00:00:00 2001 From: Julian Mendez Date: Sat, 1 Jan 2022 22:20:58 +0100 Subject: [PATCH] Use lat-parent 0.1.5 --- pom.xml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/pom.xml b/pom.xml index 1fc21ed..6bef2aa 100644 --- a/pom.xml +++ b/pom.xml @@ -42,8 +42,6 @@ --> org.junit.jupiter junit-jupiter-api - 5.7.1 - test @@ -51,7 +49,7 @@ de.tu-dresden.inf.lat lat-parent - 0.1.4 + 0.1.5