diff options
| author |   Jakub Grajciar <jgrajcia@cisco.com> | 2019-10-08 14:05:18 +0200 |
|---|---|---|
| committer |   Ole Trøan <otroan@employees.org> | 2020-01-03 13:13:19 +0000 |
| commit | 58989a37d6edb62a021989f0cff1533f0a48cd9f (patch) | |
| tree | 41658865c26735e53a4ca64ed7d04cfcee253c21 /docs/reference/vppvagrant/Vagrantfile | |
| parent | 2c504f89c662629be5548d26d65e09e35726927e (diff) | |
ip: API cleanup
Use consistent API types.
Type: fix
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Change-Id: I17b95bba2327049d2b99e59cea79208814a24b22
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Diffstat (limited to 'docs/reference/vppvagrant/Vagrantfile')
0 files changed, 0 insertions, 0 deletions