diff options
| author | jgmdev <jgmdev@gmail.com> | 2023-01-12 21:51:26 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2023-01-12 21:51:33 -0400 |
| commit | 636a7044c7cc49c1bf458d30069d41b1502a3e14 (patch) | |
| tree | a6cb906abde7d2181a922c1686c8d28b25a401f0 /.github | |
| parent | 306fb17d9476e87c46bb926a1d42aebc9988332e (diff) | |
| download | lite-xl-plugins-636a7044c7cc49c1bf458d30069d41b1502a3e14.tar.gz lite-xl-plugins-636a7044c7cc49c1bf458d30069d41b1502a3e14.zip | |
minimap: use settings new color widget support
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions