From fe37e4a3dc0dd137b49aae42bcd9f3853dd263e3 Mon Sep 17 00:00:00 2001 From: Michael Vlassiev Date: Fri, 3 Aug 2018 19:20:26 +0300 Subject: [PATCH] update MPS version to 2018.3 --- .idea/runConfigurations/MPSDebug.xml | 15 +++------------ .../MPSDebug_with_profiling.xml | 16 +++++----------- .idea/runConfigurations/MPSLauncher.xml | 12 ++---------- .idea/runConfigurations/MPSLauncher2.xml | 15 +++------------ .idea/runConfigurations/MPS_Remote.xml | 6 +++--- IdeaPlugin/build.xml | 4 ++-- IdeaPlugin/mps-core/META-INF/plugin.xml | 4 ++-- IdeaPlugin/mps-java/META-INF/plugin.xml | 4 ++-- IdeaPlugin/mps-migration/META-INF/plugin.xml | 4 ++-- IdeaPlugin/mps-vcs/META-INF/plugin.xml | 4 ++-- build.txt | 2 +- build/mps.xml | 6 +++--- build/mpsBootstrapCore.xml | 2 +- build/run_build.sh | 2 +- .../jetbrains/mps/debugger/api/ui/actions.mps | 4 ++-- .../mps/debugger/api/ui/actions/generated | 2 +- .../mps/debugger/api/ui/actions/plugin.xml | 4 ++-- .../java/customViewers/plugin/plugin.mps | 4 ++-- .../java/customViewers/plugin/plugin/generated | 2 +- .../java/customViewers/plugin/plugin/plugin.xml | 4 ++-- .../mps/debugger/java/runtime/ui/actions.mps | 2 +- .../debugger/java/runtime/ui/actions/generated | 2 +- .../debugger/java/runtime/ui/actions/plugin.xml | 2 +- .../demo/pluginSolution/models/plugin.mps | 2 +- .../demo/pluginSolution/plugin/generated | 2 +- .../demo/pluginSolution/plugin/plugin.xml | 2 +- .../jetbrains/mps/execution/languages/plugin.mps | 4 ++-- .../mps/execution/languages/plugin/generated | 2 +- .../mps/execution/languages/plugin/plugin.xml | 4 ++-- .../solution/modelchecker/actions.mps | 4 ++-- .../mps/ide/modelchecker/actions/generated | 2 +- .../mps/ide/modelchecker/actions/plugin.xml | 4 ++-- plugins/mps-build/META-INF/plugin.xml | 4 ++-- .../mps/build/mps/pluginSolution/plugin.mps | 2 +- .../build/mps/pluginSolution/plugin/generated | 2 +- .../solutions/mpsBuild/models/build.mps | 16 +++++++++------- .../jetbrains/mps/ide/build/generated | 2 +- .../jetbrains/mps/ide/build/Info.plist.xml | 4 ++-- .../source_gen/jetbrains/mps/ide/build/mps.bat | 8 ++++---- .../source_gen/jetbrains/mps/ide/build/mps.sh | 12 ++++++------ .../source_gen/jetbrains/mps/ide/build/mps.xml | 6 +++--- .../jetbrains/mps/ide/build/mpsBootstrapCore.xml | 2 +- plugins/mps-testing/META-INF/plugin.xml | 4 ++-- plugins/mpsdevkit/solution/devkit/actions.mps | 4 ++-- .../jetbrains/mps/ide/devkit/actions/generated | 2 +- .../jetbrains/mps/ide/devkit/actions/plugin.xml | 4 ++-- plugins/mpsmake/make/actions.mps | 4 ++-- .../jetbrains/mps/ide/make/actions/generated | 2 +- .../jetbrains/mps/ide/make/actions/plugin.xml | 4 ++-- plugins/projectMigrations/META-INF/plugin.xml | 6 +++--- .../models/jetbrains/mps/vcs/plugin.mps | 4 ++-- .../jetbrains/mps/vcs/plugin/generated | 2 +- .../jetbrains/mps/vcs/plugin/plugin.xml | 4 ++-- releaseNotes.txt | 2 +- .../jetbrains.mps.ide/models/actions.mps | 4 ++-- .../jetbrains/mps/ide/actions/generated | 2 +- .../jetbrains/mps/ide/actions/plugin.xml | 4 ++-- .../source/idea/IdeaApplicationInfo.xml | 4 ++-- 58 files changed, 116 insertions(+), 146 deletions(-) diff --git a/.idea/runConfigurations/MPSDebug.xml b/.idea/runConfigurations/MPSDebug.xml index ad866c37a751..cc4065e0a387 100644 --- a/.idea/runConfigurations/MPSDebug.xml +++ b/.idea/runConfigurations/MPSDebug.xml @@ -1,17 +1,9 @@ - diff --git a/.idea/runConfigurations/MPSDebug_with_profiling.xml b/.idea/runConfigurations/MPSDebug_with_profiling.xml index 3ce725c0404c..e31674c08a0e 100644 --- a/.idea/runConfigurations/MPSDebug_with_profiling.xml +++ b/.idea/runConfigurations/MPSDebug_with_profiling.xml @@ -1,18 +1,12 @@ - - diff --git a/.idea/runConfigurations/MPSLauncher.xml b/.idea/runConfigurations/MPSLauncher.xml index eb4f626b15fe..2ea8c630cee9 100644 --- a/.idea/runConfigurations/MPSLauncher.xml +++ b/.idea/runConfigurations/MPSLauncher.xml @@ -1,17 +1,9 @@ -