aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorGuldoman <giulio.lettieri@gmail.com>2022-06-14 18:17:31 +0200
committerGitHub <noreply@github.com>2022-06-14 18:17:31 +0200
commitd269ab6e69b270d5450e0e8316b745e04f5e3bd7 (patch)
tree8795c12c3b80385d74fa201a76493b7397691c13 /scripts
parent5fc20466d1620b4115c5ed609df007385dc1cf0d (diff)
parent074d270ecf5960f67f33da98977ff3385de0b534 (diff)
downloadlite-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