diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-06-02 23:27:31 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-06-02 23:27:31 -0400 |
| commit | b00c8a71062ec0108720329f189f48a07d288821 (patch) | |
| tree | 3a854bbc369d03791702cda1d17fbd1dd095deb2 /.github | |
| parent | 18f76b14c27e127843c6c37011c8aa96595d2efc (diff) | |
| download | lite-xl-plugins-b00c8a71062ec0108720329f189f48a07d288821.tar.gz lite-xl-plugins-b00c8a71062ec0108720329f189f48a07d288821.zip | |
settings: optimizations and properly apply plugins skip versions
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions