diff options
author | Paul Vinciguerra <pvinci@vinciconsulting.com> | 2020-12-16 17:37:57 +0000 |
---|---|---|
committer | Ole Tr�an <otroan@employees.org> | 2021-02-05 11:59:06 +0000 |
commit | adcc0b359605df118b69e05614740570b22c92fb (patch) | |
tree | 491c43ccff0921b9e8ff5ba638a954b2a6013b88 /src/vnet/srv6 | |
parent | e345ee5cb94cb28cac4ba62af67c2c540916a429 (diff) |
papi: remove unused name from __all__
missed in https://gerrit.fd.io/r/c/vpp/+/30238
Type: fix
Change-Id: I342868a77d7ca87896d97847ca6525ad1abcd1b6
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'src/vnet/srv6')
0 files changed, 0 insertions, 0 deletions