diff options
| author | Jefferson González <jgmdev@gmail.com> | 2022-06-23 18:09:53 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-23 18:09:53 -0400 |
| commit | 6a8eed45c7d6ac0ca774415694e44c497ade2bc5 (patch) | |
| tree | d703640f22af96aebc2dcf55413858a8e86dcdcb /data/plugins/language_python.lua | |
| parent | 31d20242830b7241eae6952949977d99d217ef3a (diff) | |
| parent | d2f9eeea0780931220159bdf616df54c9c98256c (diff) | |
| download | lite-xl-6a8eed45c7d6ac0ca774415694e44c497ade2bc5.tar.gz lite-xl-6a8eed45c7d6ac0ca774415694e44c497ade2bc5.zip | |
Merge pull request #1057 from jgmdev/PR/font-additions
renderer fonts: additions and improvements
Diffstat (limited to 'data/plugins/language_python.lua')
0 files changed, 0 insertions, 0 deletions