diff options
| author | Guldoman <giulio.lettieri@gmail.com> | 2022-07-16 04:27:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-16 04:27:39 +0200 |
| commit | 06b2fada07cdbe2c59ed9720e79513fe75d10235 (patch) | |
| tree | 1e9985ee61998bfbc92f41ad63741c5dddb2cced /data/plugins/language_python.lua | |
| parent | d7f9b30d0583fc631838ecab80cf8b29530b584d (diff) | |
| parent | 366cadf605eb897236e9ea2acdb374d76e104da8 (diff) | |
| download | lite-xl-06b2fada07cdbe2c59ed9720e79513fe75d10235.tar.gz lite-xl-06b2fada07cdbe2c59ed9720e79513fe75d10235.zip | |
Merge pull request #1079 from cisoun/master
Add font style options in user module
Diffstat (limited to 'data/plugins/language_python.lua')
0 files changed, 0 insertions, 0 deletions