From b3155039754468aabb91a132522b04a09ab883de Mon Sep 17 00:00:00 2001 From: Arne Keller Date: Wed, 10 Mar 2021 17:33:16 +0100 Subject: [PATCH] Fix production build --- pom.xml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index 01daf37..0af25b3 100644 --- a/pom.xml +++ b/pom.xml @@ -1,5 +1,7 @@ - + 4.0.0 edu.kit.typicalc typicalc @@ -280,10 +282,12 @@ - +