fix(deps): update dependency com.jetbrains.mps:mps-prerelease to v243…

….21565.10125
mbeddr · Jan 15, 2025 · cc6fa8e · cc6fa8e
1 parent 89ec391
commit cc6fa8e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -7,7 +7,7 @@ plugins {
 
 //MPS version
 ext.mpsMajor = "9999.9"
-ext.mpsBuild = "243.21565.10122"
+ext.mpsBuild = "243.21565.10125"
 
 //MPS-extensions version
 ext.mpsExtensionsVersion = "9999.9.3092.695ec9e-SNAPSHOT"