From 0d8fe0a7e06f8bfc7755e6b62003cdc5be127865 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 21 Mar 2017 12:51:30 +0100 Subject: [PATCH] Drop shortcut for Clear Types. --- .../jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps | 7 ------- 1 file changed, 7 deletions(-) diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index ebeb828b..6531e83a 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -4241,13 +4241,6 @@ - - - - - - -