diff options
author | Guldoman <giulio.lettieri@gmail.com> | 2022-06-11 06:17:31 +0200 |
---|---|---|
committer | Guldoman <giulio.lettieri@gmail.com> | 2022-06-11 06:18:05 +0200 |
commit | b1d8fc4c6f911f21422900203dc798ae883cde8f (patch) | |
tree | 94f5bcd7b654ad435982817ca661ca2230df8fdc /LICENSE | |
parent | 9a391a88a3e7e7d85188dd6cd5ac64695df7ae06 (diff) | |
download | lite-xl-plugins-b1d8fc4c6f911f21422900203dc798ae883cde8f.tar.gz lite-xl-plugins-b1d8fc4c6f911f21422900203dc798ae883cde8f.zip |
`minimap`: correctly manage inserted/removed lines
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions