diff options
| author |   Dave Barach <dave@barachs.net> | 2020-03-10 07:13:20 -0400 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2020-03-10 14:16:04 +0000 |
| commit | a53068905eb3f005a5a6d324c37f51056fb49b3e (patch) | |
| tree | 593a105b725aeaa12486f90a4059a9c7d0a4f008 /src/vppinfra/dir.dox | |
| parent | 39ae0a07ac17640a7f8ba136eaaf334bfd504030 (diff) | |
lb: fix coverity warning
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I357eb72d478d8175ab9c7cf502d312ab3112213e
Diffstat (limited to 'src/vppinfra/dir.dox')
0 files changed, 0 insertions, 0 deletions