From e3dc2b1ae20b0be96e68afe7f562f26a287f3617 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Fri, 6 Dec 2024 20:11:43 +0000 Subject: [PATCH] fix(deps): update dependency com.jetbrains.mps:mps-prerelease to v243.21565.10036 --- build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.gradle b/build.gradle index e3290bdc53..0494f43b02 100644 --- a/build.gradle +++ b/build.gradle @@ -13,7 +13,7 @@ downloadJbr { //MPS version ext.mpsMajor = "9999.9" -ext.mpsBuild = "243.21565.10033" +ext.mpsBuild = "243.21565.10036" //MPS-extensions version ext.mpsExtensionsVersion = "9999.9.3063.e43a444-SNAPSHOT"