diff options
author | Jefferson González <jgmdev@gmail.com> | 2022-11-17 01:50:42 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-17 01:50:42 -0400 |
commit | 0a75b7908741b284d6e617a66d5221c419cf6e2e (patch) | |
tree | 9cc787e0ad91a2a0376d785a0794bd744a15c261 /scripts | |
parent | 9db8c6625d8a9f462c2b4b52a91a9cce725dab63 (diff) | |
download | lite-xl-plugins-0a75b7908741b284d6e617a66d5221c419cf6e2e.tar.gz lite-xl-plugins-0a75b7908741b284d6e617a66d5221c419cf6e2e.zip |
Add Profiler Plugin (#155)
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions