diff options
author | jgmdev <jgmdev@gmail.com> | 2022-10-25 19:27:40 -0400 |
---|---|---|
committer | jgmdev <jgmdev@gmail.com> | 2022-10-25 19:27:40 -0400 |
commit | f50928df1436a99241a6815b5e2669af36996ab7 (patch) | |
tree | 0255386158c95ed768862a44b594080408732b58 /.github | |
parent | 386c9ce865ec9951761d0be6b37c82e0841b5214 (diff) | |
download | lite-xl-plugins-f50928df1436a99241a6815b5e2669af36996ab7.tar.gz lite-xl-plugins-f50928df1436a99241a6815b5e2669af36996ab7.zip |
minimap: fixed small mistake
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions