diff options
author | Dave Barach <dave@barachs.net> | 2021-03-11 15:12:29 -0500 |
---|---|---|
committer | Damjan Marion <dmarion@me.com> | 2021-03-15 17:34:40 +0000 |
commit | 592dbd0ad3b464d14aba7ccec918d5ed7f9429fc (patch) | |
tree | 3395f962424ebbccf09566eb5e2faf0884a5131f /src/vnet/ipip | |
parent | 19ff0c3699342b512c03362b3815df684a661f49 (diff) |
misc: finish removing deprecated cop API
Fix bug in crcchecker. It must be possible to remove a non-production
.api file
Type: improvement
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I00b953e58017cc53051e6f4d8a70403dce8219a0
Diffstat (limited to 'src/vnet/ipip')
0 files changed, 0 insertions, 0 deletions