diff options
| author | jgmdev <jgmdev@gmail.com> | 2023-01-18 21:10:56 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2023-01-18 21:10:56 -0400 |
| commit | a91dbbfaf1e2e706c007c98890ac82e920ee771d (patch) | |
| tree | 54aeaf20b249beaf2406e934e1f525efc8650b52 /plugins/profiler | |
| parent | 07f8872f485328d4429213c1e71db5c845157ac0 (diff) | |
| download | lite-xl-plugins-a91dbbfaf1e2e706c007c98890ac82e920ee771d.tar.gz lite-xl-plugins-a91dbbfaf1e2e706c007c98890ac82e920ee771d.zip | |
manifest: updated thread plugin hash and version
Diffstat (limited to 'plugins/profiler')
0 files changed, 0 insertions, 0 deletions