diff options
| author | Guldoman <giulio.lettieri@gmail.com> | 2024-02-26 01:46:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-25 19:46:20 -0500 |
| commit | 4f422c7c58d2056d94a415e20017204062454163 (patch) | |
| tree | 482135b8e3ea7803f4eb0b2f3e639e4c28e03dd1 /manifest.json | |
| parent | 7617fdb3f5c328287f92c1021576c2948a6ac7cc (diff) | |
| download | lite-xl-plugins-4f422c7c58d2056d94a415e20017204062454163.tar.gz lite-xl-plugins-4f422c7c58d2056d94a415e20017204062454163.zip | |
Remove `linter` plugin (#369)
The plugin doesn't even support Lite XL.
Set `lintplus` as replacement.
Diffstat (limited to 'manifest.json')
| -rw-r--r-- | manifest.json | 10 |
1 files changed, 2 insertions, 8 deletions
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)", |