bumped rascal and rascal-maven-plugin

usethesource · Sep 1, 2023 · 2efb1c0 · 2efb1c0
1 parent 10bd714
commit 2efb1c0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.project b/.project
@@ -45,12 +45,12 @@
 	</natures>
 	<filteredResources>
 		<filter>
-			<id>1611230012359</id>
+			<id>1692963264024</id>
 			<name></name>
 			<type>30</type>
 			<matcher>
 				<id>org.eclipse.core.resources.regexFilterMatcher</id>
-				<arguments>node_modules|.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
+				<arguments>node_modules|\.git|__CREATED_BY_JAVA_LANGUAGE_SERVER__</arguments>
 			</matcher>
 		</filter>
 	</filteredResources>

diff --git a/pom.xml b/pom.xml
@@ -59,7 +59,7 @@
             <plugin>
                 <groupId>org.rascalmpl</groupId>
                 <artifactId>rascal-maven-plugin</artifactId>
-                <version>0.19.13</version>
+                <version>0.20.2</version>
                 <configuration>
                     <bin>${project.build.outputDirectory}</bin>
                     <srcs>
@@ -165,7 +165,7 @@
         <dependency>
         	<groupId>org.rascalmpl</groupId>
         	<artifactId>rascal</artifactId>
-        	<version>0.33.6-RC2</version>
+        	<version>0.33.7</version>
         </dependency>
     </dependencies>
 </project>