diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-03-11 05:09:39 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-05-22 13:16:10 -0400 |
| commit | 6216f0e979239b7ee14e6f53cd0f1e14e5effae0 (patch) | |
| tree | e1b22c86b1305da756343fac78af85cbab696a82 /.github | |
| parent | b68091bf1fb3f0935390f0d4bb38e55194f18ade (diff) | |
| download | lite-xl-plugins-6216f0e979239b7ee14e6f53cd0f1e14e5effae0.tar.gz lite-xl-plugins-6216f0e979239b7ee14e6f53cd0f1e14e5effae0.zip | |
tabnumbers: make use of an unused variable
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions