From 4e892ea5aa2eb34a91a92289972c9644d3740800 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sat, 19 Oct 2019 11:04:14 +0200 Subject: [PATCH] Drop additional "enabled" flag, superceded by Config. --- ...ains.mps.coderules.typechecking.plugin.mps | 94 ++----------------- 1 file changed, 6 insertions(+), 88 deletions(-) diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps index 64b023be..27139a4f 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps @@ -311,18 +311,6 @@ - - - - - - - - - - - - @@ -439,71 +427,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -950,17 +873,12 @@ - - - - - - - - - - - + + + + + +