diff options
| author | Jefferson González <jgmdev@gmail.com> | 2022-05-30 16:12:49 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-30 16:12:49 -0400 |
| commit | 7dc069aa8f360bfb9cb6d85c527785c52997d9b1 (patch) | |
| tree | 225004fb7fe478371700c0e5561b15484d3ae316 /data/plugins/language_python.lua | |
| parent | c92c545fb9e413fbcbec6d023dc6cf8b1531ed59 (diff) | |
| parent | 8bbca7c0b086032799aee328aa4581c11cccb314 (diff) | |
| download | lite-xl-7dc069aa8f360bfb9cb6d85c527785c52997d9b1.tar.gz lite-xl-7dc069aa8f360bfb9cb6d85c527785c52997d9b1.zip | |
Merge pull request #995 from jgmdev/PR/plugins-settings-gui
plugins: added settings gui support
Diffstat (limited to 'data/plugins/language_python.lua')
0 files changed, 0 insertions, 0 deletions