diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-10-25 20:09:43 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-10-25 20:09:43 -0400 |
| commit | c24cea177b7de6ae57178496ac04d73b0a9d22f3 (patch) | |
| tree | 06ce0ec1b2721404c8fee87c2e0b22c37a5023cf /plugins/gitopen.lua | |
| parent | f50928df1436a99241a6815b5e2669af36996ab7 (diff) | |
| download | pragtical-plugins-c24cea177b7de6ae57178496ac04d73b0a9d22f3.tar.gz pragtical-plugins-c24cea177b7de6ae57178496ac04d73b0a9d22f3.zip | |
minimap: check docview has minimap scroll
Diffstat (limited to 'plugins/gitopen.lua')
0 files changed, 0 insertions, 0 deletions