Merge branch 'master' into merge/master

mbeddr · Nov 19, 2024 · 7a70e40 · 7a70e40
2 parents 61ef384 + cc745e6
commit 7a70e40
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -56,7 +56,9 @@ configurations {
 }
 
 dependencies {
-    mps "com.jetbrains:mps:$mpsVersion"
+    // Use the following dependency for published releases:
+    //   mps 'com.jetbrains:mps:2024.3'
+    mps 'com.jetbrains.mps:mps-prerelease:243.21565.173'
     antLib "org.apache.ant:ant-junit:1.10.15"
     antLib "org.jacoco:org.jacoco.ant:0.8.12"
 }