diff options
| author |   Jakub Grajciar <jgrajcia@cisco.com> | 2020-01-30 13:26:43 +0100 |
|---|---|---|
| committer | Jakub Grajciar <jgrajcia@cisco.com> | 2020-04-28 11:54:00 +0000 |
| commit | 58db6e16cf4f3bb1740ca2f62d7d887baad58d63 (patch) | |
| tree | d8863a2a8bacccb6d3ca78c649910a3fa20acc12 /build/external/deb/debian | |
| parent | 4830e4f78fb8e46b23a1a0711cd06969a77d8d95 (diff) | |
lisp: API cleanup
Use consistent API types.
Type: fix
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Change-Id: Ib7f73a0b6de188982a09040f7739dc46be3cb1de
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Diffstat (limited to 'build/external/deb/debian')
0 files changed, 0 insertions, 0 deletions