diff options
| author | jgmdev <jgmdev@gmail.com> | 2021-06-07 01:36:12 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2021-06-07 01:36:12 -0400 |
| commit | cf995a4cf4ef0dc9e72939e0e2af3853694c20d1 (patch) | |
| tree | 71da72ff21165e42bbf4c20f78b9d8b207f9aa05 /plugins/selectionhighlight.lua | |
| parent | e9c69e44bfa260eb492ca519768fddb1b0c5417b (diff) | |
| download | pragtical-plugins-cf995a4cf4ef0dc9e72939e0e2af3853694c20d1.tar.gz pragtical-plugins-cf995a4cf4ef0dc9e72939e0e2af3853694c20d1.zip | |
Added navigate plugin.
Diffstat (limited to 'plugins/selectionhighlight.lua')
0 files changed, 0 insertions, 0 deletions