diff options
| author | Jefferson González <jgmdev@gmail.com> | 2022-11-17 01:50:42 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-17 01:50:42 -0400 |
| commit | 0a75b7908741b284d6e617a66d5221c419cf6e2e (patch) | |
| tree | 9cc787e0ad91a2a0376d785a0794bd744a15c261 /plugins/gitopen.lua | |
| parent | 9db8c6625d8a9f462c2b4b52a91a9cce725dab63 (diff) | |
| download | pragtical-plugins-0a75b7908741b284d6e617a66d5221c419cf6e2e.tar.gz pragtical-plugins-0a75b7908741b284d6e617a66d5221c419cf6e2e.zip | |
Add Profiler Plugin (#155)
Diffstat (limited to 'plugins/gitopen.lua')
0 files changed, 0 insertions, 0 deletions