diff options
| author | Guillermo Ramos | 2021-07-29 14:20:59 +0200 |
|---|---|---|
| committer | Guillermo Ramos | 2021-07-29 14:20:59 +0200 |
| commit | 5d9862a5695f3bfaadf0fdf9b6580862417782fb (patch) | |
| tree | eb855d78d34b9d03ed3de59cc9535eca82845ddc /gripmi | |
| parent | 8a7a1835f6145089777591c86fdcd59c6b511752 (diff) | |
| download | cli-5d9862a5695f3bfaadf0fdf9b6580862417782fb.tar.gz | |
Shellcheck
Diffstat (limited to 'gripmi')
0 files changed, 0 insertions, 0 deletions