diff options
| author | George Hazan <george.hazan@gmail.com> | 2024-10-22 18:34:06 +0300 |
|---|---|---|
| committer | George Hazan <george.hazan@gmail.com> | 2024-10-22 18:34:11 +0300 |
| commit | facb19a65f291270f842fbf5b71a20ba4bd92d73 (patch) | |
| tree | f03326f6550f3bde446937a33b254447dc5889a8 /tools/coverity | |
| parent | 071041acb8dec661ce6e7c4ddad9caf14530793c (diff) | |
unneeded 'else' removed
Diffstat (limited to 'tools/coverity')
0 files changed, 0 insertions, 0 deletions