diff options
| author | George Hazan <george.hazan@gmail.com> | 2023-12-24 14:09:41 +0300 |
|---|---|---|
| committer | George Hazan <george.hazan@gmail.com> | 2023-12-24 14:09:41 +0300 |
| commit | c69b6df18206f22513bc83f93d29f95ecbd77977 (patch) | |
| tree | 3f3d11725a9cf9fe6daa7968a39b9f828ad01bc5 /tools/coverity | |
| parent | fe8b2b1d75c273a38d052675685d1bbe1bd18515 (diff) | |
minor fix
Diffstat (limited to 'tools/coverity')
0 files changed, 0 insertions, 0 deletions