diff options
| author |   Jakub Grajciar <jgrajcia@cisco.com> | 2019-10-09 14:15:56 +0200 |
|---|---|---|
| committer |   Ole Trøan <otroan@employees.org> | 2019-10-17 14:18:50 +0000 |
| commit | f72ad93d60202b23383d625b97b8a5a2e3732815 (patch) | |
| tree | cc7a38d8e619e78a41d0e89e2fa05de320302daf /src/tools | |
| parent | 54f89e55d05b2079cf53818191e842f896ac3b65 (diff) | |
ip: punt API cleanup
Use consistent API types.
Type: fix
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Change-Id: I7048f8ec598a8b06d75bdfb5d2fab9f6337c9474
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions