diff options
| author |   Dave Barach <dave@barachs.net> | 2019-07-01 09:42:41 -0400 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2019-07-02 15:29:36 +0000 |
| commit | 9683c1eceb8529ef5133670efd4a465eb5a740c8 (patch) | |
| tree | 084eaa6660dbb3c02b48a910dbecc5e56824065e /extras/vagrant | |
| parent | 3c0d84c989e9928d5ca9ffe3aceb826864bd525a (diff) | |
api: fix coverity warnings
New coverity toolset, new set of squawks to fix
Ticket: VPP-1649
Type: fix
Change-Id: I2a7e4c42b101c6c79c01b150b2523ce3d5d62354
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'extras/vagrant')
0 files changed, 0 insertions, 0 deletions