diff options
| author | Guldoman <giulio.lettieri@gmail.com> | 2022-05-12 00:49:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-12 00:49:51 +0200 |
| commit | 63c79236aa3605fdad21fde345d2b9def659e777 (patch) | |
| tree | 0afa091b256b07d033645a430cd6ef0b4c84d2bf /.github/workflows | |
| parent | 7bee960296403e20f631d14764fc583986b163e1 (diff) | |
| parent | 62701704b525a116fce1cd168236fc93b9856450 (diff) | |
| download | lite-xl-plugins-63c79236aa3605fdad21fde345d2b9def659e777.tar.gz lite-xl-plugins-63c79236aa3605fdad21fde345d2b9def659e777.zip | |
Merge pull request #72 from Guldoman/PR_highlight_indentguide
Highlight current block in `indentguide`
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions