diff options
| author | Guldoman <giulio.lettieri@gmail.com> | 2022-06-14 18:17:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-14 18:17:31 +0200 |
| commit | d269ab6e69b270d5450e0e8316b745e04f5e3bd7 (patch) | |
| tree | 8795c12c3b80385d74fa201a76493b7397691c13 /plugins/linenumbers.lua | |
| parent | 5fc20466d1620b4115c5ed609df007385dc1cf0d (diff) | |
| parent | 074d270ecf5960f67f33da98977ff3385de0b534 (diff) | |
| download | lite-xl-plugins-d269ab6e69b270d5450e0e8316b745e04f5e3bd7.tar.gz lite-xl-plugins-d269ab6e69b270d5450e0e8316b745e04f5e3bd7.zip | |
Merge pull request #97 from Guldoman/PR_improve_minimap2
`minimap`: Performance improvements
Diffstat (limited to 'plugins/linenumbers.lua')
0 files changed, 0 insertions, 0 deletions