From b32b90b56f01db94c2ffca574401fbb73c2dabd1 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Mon, 13 May 2024 10:20:10 +0200 Subject: [PATCH] bumped to rascal 0.38.2-BOOT1 --- .settings/org.eclipse.core.resources.prefs | 1 + pom.xml | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs index 7ec1b20e..03a497e2 100644 --- a/.settings/org.eclipse.core.resources.prefs +++ b/.settings/org.eclipse.core.resources.prefs @@ -1,5 +1,6 @@ eclipse.preferences.version=1 encoding//src/org/rascalmpl/core/library=UTF-8 +encoding//target/generated-test-sources=UTF-8 encoding/=UTF-8 encoding/src=UTF-8 encoding/test=UTF-8 diff --git a/pom.xml b/pom.xml index f8fa8ff6..568f9c9e 100644 --- a/pom.xml +++ b/pom.xml @@ -161,7 +161,7 @@ org.rascalmpl rascal-maven-plugin - 0.22.0 + 0.38.2-BOOT1