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 /plugins | |
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 'plugins')
0 files changed, 0 insertions, 0 deletions