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/vppinfra | |
| 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/vppinfra')
0 files changed, 0 insertions, 0 deletions