diff options
| author |   Dave Barach <dave@barachs.net> | 2020-02-11 10:29:13 -0500 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2020-02-11 23:11:58 +0000 |
| commit | a6ef36b2c25de47824a1b45e147ab2fbf67c3a33 (patch) | |
| tree | 01f29603e11b22763a1a539db10975171ad29f00 /extras/vagrant/Vagrantfile | |
| parent | 44476c6b271bdebb7458590398b5f140c9a7d353 (diff) | |
misc: fix coverity warnings
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I6b1ea13fc83460bf4ee75cb9249d83dddaa64ded
Diffstat (limited to 'extras/vagrant/Vagrantfile')
0 files changed, 0 insertions, 0 deletions