diff options
| author | Anders Leino <aleino@nvidia.com> | 2024-12-19 17:03:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-19 23:03:58 +0800 |
| commit | a427c5807a3c5d541686d2d382265ecc09bdb95d (patch) | |
| tree | 7b671da708b3be7203556e2c87b1b1f266cbb404 /source | |
| parent | 58654d05ff08672cbdbe3ebaff8ccf78bc66af2b (diff) | |
Fix issues reported by 'shellcheck' (#5913)
* Fix issues reported by 'shellcheck'
This helps to address issue #5520.
* format code
---------
Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
Diffstat (limited to 'source')
0 files changed, 0 insertions, 0 deletions