diff options
| author | Jefferson González <jgmdev@gmail.com> | 2022-05-31 11:18:37 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-31 11:18:37 -0400 |
| commit | c62cf5ce8c6446ff9e2a95720da4676b8dbd99af (patch) | |
| tree | 3c56598586049ce9cfbe7ab35d7f7528fdb457c3 /data/plugins/language_python.lua | |
| parent | bd742d5b3d83ebfef80efc7b8e1c63eaa1721814 (diff) | |
| parent | b3fea8f88025d9a21e77ed0bffc649adb1b1718b (diff) | |
| download | lite-xl-c62cf5ce8c6446ff9e2a95720da4676b8dbd99af.tar.gz lite-xl-c62cf5ce8c6446ff9e2a95720da4676b8dbd99af.zip | |
Merge pull request #980 from jgmdev/PR/plugins-load-priority
plugins: add load priority support with '--priority:###' closes #978
Diffstat (limited to 'data/plugins/language_python.lua')
0 files changed, 0 insertions, 0 deletions