play "new" migrations on MPS project

JetBrains · Nov 20, 2015 · 8da2021 · 8da2021
1 parent 71fa62a
commit 8da2021
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.mps/migration.xml b/.mps/migration.xml
@@ -2,6 +2,7 @@
 <project version="4">
   <component name="MigrationProperties">
     <entry key="jetbrains.mps.cleanSrc" value="executed" />
+    <entry key="jetbrains.mps.cleanSrc_3.3" value="executed" />
     <entry key="jetbrains.mps.ide.mpsmigration.v33.UpdateModuleUsedLang" value="executed" />
     <entry key="jetbrains.mps.mps33.resaveModules" value="executed" />
     <entry key="jetbrains.mps.name2id" value="executed" />
@@ -10,5 +11,6 @@
     <entry key="jetbrains.mps.obsoletePropsCleanup" value="executed" />
     <entry key="jetbrains.mps.projectJavaVersionMigration" value="executed" />
     <entry key="jetbrains.mps.resaveModules" value="executed" />
+    <entry key="jetbrains.mps.v8_elimination" value="executed" />
   </component>
 </project>