From c450462fa56c2b9e277c492fccf2d491bd21b95b Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 22 Jan 2021 13:15:08 +0100 Subject: [PATCH] Drop "final" flag on term feature: unused --- .../generator/template/main@generator.mps | 37 +----- .../languageModels/editor.mps | 107 ------------------ .../languageModels/structure.mps | 5 - 3 files changed, 1 insertion(+), 148 deletions(-) diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps index 6d2c81d4..84e90e27 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps @@ -15103,7 +15103,7 @@ - + @@ -16591,41 +16591,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps index ec9d9349..4f19e2d1 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps @@ -4125,23 +4125,6 @@ - - - - - - - - - - - - - - - - - @@ -4182,45 +4165,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -5977,57 +5921,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps index bef806f3..93431a1a 100644 --- a/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps +++ b/coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps @@ -1383,11 +1383,6 @@ - - - - -