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