From 08063ed85d8475ac88b91f6e3f1d971532c04fe0 Mon Sep 17 00:00:00 2001 From: ciregenz Date: Sat, 23 May 2026 05:05:31 -0700 Subject: [PATCH] [eric] lint: drop Tools grandfather entry --- linter/config/config.json | 1 - 1 file changed, 1 deletion(-) diff --git a/linter/config/config.json b/linter/config/config.json index c27b7219..995a181b 100644 --- a/linter/config/config.json +++ b/linter/config/config.json @@ -121,7 +121,6 @@ "frontend/src/app/pages/Settings/Settings.tsx", "frontend/src/app/pages/Skills/SkillBuilderChat.tsx", "frontend/src/app/pages/Skills/Skills.tsx", - "frontend/src/app/pages/Tools/Tools.tsx", "frontend/src/app/pages/Views/ViewEditor.tsx", "frontend/src/app/pages/Views/ViewPreview.tsx", "frontend/src/app/pages/Views/useIframeElementSelector.ts",