diff options
| author | rxi <rxi@users.noreply.github.com> | 2021-02-24 11:21:53 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-24 11:21:53 +0000 |
| commit | 5e0f136779dcc7bdd5f31ca3f55104b8b050c406 (patch) | |
| tree | dcaa1724e9035461be44cd4cf6786ac45b536a37 /plugins/selectionhighlight.lua | |
| parent | 664d5f22585181d34ea5b83bbd4deb1aa3b008af (diff) | |
| parent | b07dca2fd0a212f572c6931db3abf58fefd2bc89 (diff) | |
| download | pragtical-plugins-5e0f136779dcc7bdd5f31ca3f55104b8b050c406.tar.gz pragtical-plugins-5e0f136779dcc7bdd5f31ca3f55104b8b050c406.zip | |
Merge pull request #118 from BenStigsen/patch-1
Add theme scheduler
Diffstat (limited to 'plugins/selectionhighlight.lua')
0 files changed, 0 insertions, 0 deletions