From a758a1218d2fea0a61c8e8908b084acfa66f7b5b Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Thu, 7 Nov 2024 15:04:23 +0100 Subject: [PATCH] [maven-release-plugin] prepare release v0.3.5 --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index 8673bb7..43f07f0 100644 --- a/pom.xml +++ b/pom.xml @@ -3,12 +3,12 @@ org.rascalmpl drambiguity - 0.3.5-SNAPSHOT + 0.3.5 jar scm:git:ssh://git@github.com/cwi-swat/drambiguity.git - HEAD + v0.3.5