From cf91ee5f326d9401e7da3683d4c7fe6d16132866 Mon Sep 17 00:00:00 2001 From: Oleksandr Dzhychko Date: Wed, 20 Dec 2023 14:19:05 +0100 Subject: [PATCH] Change supported version to MPS 2021.2 To support MPS 2021.2 reliably, dependencies needed to be updated to versions that run in MPS 2021.2 --- build.gradle.kts | 6 +++--- .../models/mps-richtext-glossaries.build.mps | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/build.gradle.kts b/build.gradle.kts index 0b3c003..4bf96ef 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -8,7 +8,7 @@ repositories { } dependencies { - mps("com.jetbrains:mps:2021.1.+") - generation("com.mbeddr:platform:2021.1.+") - generation("com.mbeddr:mbeddr:2021.1.+") + mps("com.jetbrains:mps:2021.2.+") + generation("com.mbeddr:platform:2021.2.+") + generation("com.mbeddr:mbeddr:2021.2.+") } diff --git a/solutions/mps-richtext-glossaries.build/models/mps-richtext-glossaries.build.mps b/solutions/mps-richtext-glossaries.build/models/mps-richtext-glossaries.build.mps index 5605bd6..5588cbc 100644 --- a/solutions/mps-richtext-glossaries.build/models/mps-richtext-glossaries.build.mps +++ b/solutions/mps-richtext-glossaries.build/models/mps-richtext-glossaries.build.mps @@ -153,7 +153,7 @@ - +