diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-06-16 00:09:48 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-06-16 00:09:48 -0400 |
| commit | d8fbb5ea0c65e01c441e7b9917dcb97da60e8f2b (patch) | |
| tree | 46ffdcfb54df20415018256c6fbdcd81a86148ca /.github | |
| parent | 189397d18164201ab9da5e7b7be2a65186843d96 (diff) | |
| download | lite-xl-plugins-d8fbb5ea0c65e01c441e7b9917dcb97da60e8f2b.tar.gz lite-xl-plugins-d8fbb5ea0c65e01c441e7b9917dcb97da60e8f2b.zip | |
force_syntax: use new command_view:enter interface
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions