From 6842fcefbd906e6d7fb19ef179ebf51b32ecab3f Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Mon, 8 Jan 2018 15:47:00 +0100 Subject: [PATCH] Specify the latest MPS release in the dependency. --- gradle.properties | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gradle.properties b/gradle.properties index f563f28c..e8c51a96 100644 --- a/gradle.properties +++ b/gradle.properties @@ -1,5 +1,5 @@ mpsBuildConfiguration = MPS_20173_Distribution_DownloadableArtifacts -mpsBuildLabel = 2017.3 -mpsBuildNumber = 173.1427 +mpsBuildLabel = 2017.3.2 +mpsBuildNumber = 173.1609 mpsRelease = 2017.3