From bc4c73fa73ea444452e2bb62e5e367fb293ecc09 Mon Sep 17 00:00:00 2001 From: Daniel Ratiu Date: Fri, 10 Nov 2023 00:06:11 +0100 Subject: [PATCH] lint: improved the logic of "not_used_linters" --- ...psqa.lint.generic.linters_library.meta.mps | 34 +++++++++++++++++-- 1 file changed, 32 insertions(+), 2 deletions(-) diff --git a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps index 71e380c3..a3bbc5a0 100644 --- a/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps +++ b/code/languages/org.mpsqa.lint/solutions/org.mpsqa.lint.generic.linters_library/models/org.mpsqa.lint.generic.linters_library.meta.mps @@ -67,6 +67,7 @@ + @@ -185,6 +186,7 @@ + @@ -307,8 +309,36 @@ - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +