diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-06-24 15:28:08 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-06-24 15:28:08 -0400 |
| commit | 582caf3b07ea32c10646faafd70d6efeeb264057 (patch) | |
| tree | 91a9b72bd4d8b074b9d62aac421362ef39fbe62b /plugins/language_php.lua | |
| parent | c641bd8866890d83b40fdea787ea748175c2911e (diff) | |
| download | lite-xl-plugins-582caf3b07ea32c10646faafd70d6efeeb264057.tar.gz lite-xl-plugins-582caf3b07ea32c10646faafd70d6efeeb264057.zip | |
settings: error if widgets not found with url to repo
Diffstat (limited to 'plugins/language_php.lua')
0 files changed, 0 insertions, 0 deletions