diff options
| author | Marcus Müller <mmueller@gnuradio.org> | 2019-08-17 20:32:20 +0200 |
|---|---|---|
| committer | Marcus Müller <marcus@hostalia.de> | 2019-08-22 15:05:58 +0200 |
| commit | b08d13aed2a7e7ffdee09833bb24db8ce92dce66 (patch) | |
| tree | 4846eebe25b48c615cbe07d2a9f4e79d5e8ff72d /grc | |
| parent | c6cb3bbc35153a9635d69eddab0d252f7441b854 (diff) | |
clang-tidy in gnuradio-runtime: use empty() instead of size()!=0
Diffstat (limited to 'grc')
0 files changed, 0 insertions, 0 deletions