From d6d1845dfc6317b3d0ae4b5c742b6f4d1f1ccb4e Mon Sep 17 00:00:00 2001
From: Kolja Dummann <kolja.dummann@logv.ws>
Date: Wed, 13 Jan 2016 15:59:23 +0100
Subject: [PATCH] upgrade final MPS 3.3

---
 download.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/download.xml b/download.xml
index b3cd24a279a..dc2e3b7d6d5 100644
--- a/download.xml
+++ b/download.xml
@@ -1,6 +1,6 @@
 <project name="com.mbeddr.core download mps" default="download">
   <property name="MPS-Base-URL" value="http://download.jetbrains.com/mps/33"/> 
-  <property name="MPS-File" value="MPS-3.3-RC3.zip"/>
+  <property name="MPS-File" value="MPS-3.3.zip"/>
   <property name="MPS-Zip-Folder" value="MPS 3.3"/>
   <property name="MPS-Zip-Folder-CleandUp" value="MPS-mbeddr"/>
   <property name="MPS-Dir" value="MPS"/>