diff options
author | John DeNisco <jdenisco@cisco.com> | 2020-03-20 10:03:47 -0400 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2020-03-23 12:05:40 +0000 |
commit | 727c653f1cac63590f28ca73619655c1c2d109fa (patch) | |
tree | f8474e3d128e2d8493a76dc59aa8991af6928fde /src/vnet/cop | |
parent | 1690dcb49527934e83748e7b6db8501b33c3758a (diff) |
docs: Fix build on fresh ubuntu 18.04
Type: docs
Signed-off-by: John DeNisco <jdenisco@cisco.com>
Change-Id: If842c92183a9cf4b5a9773dced3298005b327e1a
Diffstat (limited to 'src/vnet/cop')
0 files changed, 0 insertions, 0 deletions