From 3d403d8a55cde55f110f70abaa59c5f98b723ca5 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Mon, 26 Feb 2024 16:01:15 +0100 Subject: [PATCH] [maven-release-plugin] prepare release v0.3.1 --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index f3bb686..62c894c 100644 --- a/pom.xml +++ b/pom.xml @@ -3,12 +3,12 @@ org.rascalmpl drambiguity - 0.3.1-SNAPSHOT + 0.3.1 jar scm:git:ssh://git@github.com/cwi-swat/drambiguity.git - HEAD + v0.3.1