From 68d4fbd4c2b6ac803e3de05a5639f0ff6a03abd6 Mon Sep 17 00:00:00 2001
From: Wladimir Safonov <wladimir.safonov@itemis.de>
Date: Fri, 20 Nov 2020 17:55:16 +0100
Subject: [PATCH] Updated to MPS 2020.1.7

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index dc05918fc7c..6dd1c0e3603 100644
--- a/build.gradle
+++ b/build.gradle
@@ -20,7 +20,7 @@ ext.mpsExtensionsVersion = findNonEmptyProperty('mpsExtensionsVersion') ?: "2020
 
 //MPS version
 ext.mpsMajor = "2020.1"
-ext.mpsBuild = "2020.1.6"
+ext.mpsBuild = "2020.1.7"
 
 ext.artifactsDir = new File(rootDir, 'artifacts')