From 0a146f6d22ff28bceb211d1867d0750dfa2890f4 Mon Sep 17 00:00:00 2001 From: Davy Landman Date: Fri, 15 Nov 2024 10:35:48 +0100 Subject: [PATCH] Using latest release plugin --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index a9e59e4..33771d4 100644 --- a/pom.xml +++ b/pom.xml @@ -3,7 +3,7 @@ clair org.rascalmpl - 0.13.0-RC4-SNAPSHOT + 0.13.1-SNAPSHOT jar @@ -116,7 +116,7 @@ org.apache.maven.plugins maven-release-plugin - 2.5.3 + 3.1.0 v@{project.version} -Drascal.compile.skip -DskipTests -Drascal.tutor.skip