From bddbdaca213f3fb908679a0b23f739f25d7adb04 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Mon, 13 May 2024 10:22:47 +0200 Subject: [PATCH] fixed rascal and rascal-maven-plugin versions for BOOT1 --- .classpath | 19 ++++++++++++++++++- pom.xml | 4 ++-- 2 files changed, 20 insertions(+), 3 deletions(-) diff --git a/.classpath b/.classpath index dbfe149..890d16d 100644 --- a/.classpath +++ b/.classpath @@ -6,7 +6,7 @@ - + @@ -18,5 +18,22 @@ + + + + + + + + + + + + + + + + + diff --git a/pom.xml b/pom.xml index 88728d9..ff22f53 100644 --- a/pom.xml +++ b/pom.xml @@ -59,7 +59,7 @@ org.rascalmpl rascal-maven-plugin - 0.38.2-BOOT1 + 0.26.0-BOOT1 ${project.build.outputDirectory} @@ -185,7 +185,7 @@ org.rascalmpl rascal - 0.34.0 + 0.38.2-BOOT1