From 4f422c7c58d2056d94a415e20017204062454163 Mon Sep 17 00:00:00 2001
From: Guldoman <giulio.lettieri@gmail.com>
Date: Mon, 26 Feb 2024 01:46:20 +0100
Subject: Remove `linter` plugin (#369)

The plugin doesn't even support Lite XL.
Set `lintplus` as replacement.
---
 manifest.json | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

(limited to 'manifest.json')

diff --git a/manifest.json b/manifest.json
index 1d827f7..f81f893 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1305,14 +1305,8 @@
       "remote": "https://github.com/liquid600pgm/lintplus:771b1fe6cddb7897cd034ed5ee96201d6a2831c2",
       "mod_version": "3",
       "id": "lintplus",
-      "name": "lint+"
-    },
-    {
-      "description": "Linters for multiple languages",
-      "version": "0.1",
-      "remote": "https://github.com/drmargarido/linters:eb1611eaade6e5328df5172bd3f759d853c33a31",
-      "mod_version": "3",
-      "id": "linter"
+      "name": "lint+",
+      "replaces": ["linter"]
     },
     {
       "description": "Discord rich presence for Lite XL (display file editing in Discord)",
-- 
cgit v1.2.3