From 356160fb038252a36feaabe65429eec9d28ae6fd Mon Sep 17 00:00:00 2001 From: Davy Landman Date: Mon, 15 Jul 2024 09:24:29 +0200 Subject: [PATCH] [maven-release-plugin] prepare release v0.13.3 --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index d36690a..0f15cb3 100644 --- a/pom.xml +++ b/pom.xml @@ -9,7 +9,7 @@ org.rascalmpl typepal - 0.13.3-SNAPSHOT + 0.13.3 jar @@ -20,7 +20,7 @@ scm:git:ssh://git@github.com/usethesource/typepal.git - v0.11.5 + v0.13.3