diff options
| author |   Dave Barach <dave@barachs.net> | 2019-02-27 12:36:28 -0500 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2019-02-27 20:55:46 +0000 |
| commit | a2aefef1fd3fc423430531d7e965c9da7d9ec0d5 (patch) | |
| tree | ee535683147416f818b2711c801257de4c1dce1f /src/vppinfra/dir.dox | |
| parent | b93452b531f8c4d3fdcd77a3b3c8ede1a511cbc6 (diff) | |
VPP-1576: fix Coverity issues
Change-Id: I8b59b2e1c0525abf4b0492e50a7af57df4cd3ce2
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vppinfra/dir.dox')
0 files changed, 0 insertions, 0 deletions