diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-09-16 00:41:38 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-09-16 00:41:38 -0400 |
| commit | 02778eed3d6b1262ef2a08e84392309fadff803c (patch) | |
| tree | c7e332b89836917ec10810d32307f5e5d2d939a9 /plugins/gitopen.lua | |
| parent | 534ed6e53c5775fffffdb73860881e95386bfdd2 (diff) | |
| download | pragtical-plugins-02778eed3d6b1262ef2a08e84392309fadff803c.tar.gz pragtical-plugins-02778eed3d6b1262ef2a08e84392309fadff803c.zip | |
nonicons: support dynamic scaling
Diffstat (limited to 'plugins/gitopen.lua')
0 files changed, 0 insertions, 0 deletions