diff options
| author |   Dave Barach <dave@barachs.net> | 2017-12-12 08:29:42 -0500 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2017-12-13 00:12:29 +0000 |
| commit | 129e80e32abb0999b069a2175fbb64635f311ed0 (patch) | |
| tree | 2a4291ec8475aae8c536f569814ef7d43b670b8c /src/vppinfra/timer.c | |
| parent | 3ea6ce235e9a9af1e78208eef54304ef0c865e67 (diff) | |
VPP-1032: fix coverity warnings
Change-Id: Ic551af286aa84293deb260560c12def430449598
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vppinfra/timer.c')
0 files changed, 0 insertions, 0 deletions