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 /scripts | |
| parent | 9a391a88a3e7e7d85188dd6cd5ac64695df7ae06 (diff) | |
| download | lite-xl-plugins-b1d8fc4c6f911f21422900203dc798ae883cde8f.tar.gz lite-xl-plugins-b1d8fc4c6f911f21422900203dc798ae883cde8f.zip | |
`minimap`: correctly manage inserted/removed lines
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions