diff options
| author |   Jakub Grajciar <jgrajcia@cisco.com> | 2020-01-31 10:17:29 +0100 |
|---|---|---|
| committer |   Ole Trøan <otroan@employees.org> | 2020-02-26 11:45:25 +0000 |
| commit | 00ec4019b399132a72467ed4c3fb039d4f2466b7 (patch) | |
| tree | 72fc06bcc5ee1376b24bfe94413a5b8b2ef7067c /src/vppinfra/pool.c | |
| parent | 908965db7e3075ba7bacd924bfb0df203fe6cc7d (diff) | |
sr: API cleanup
Use consistent API types.
Type: fix
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Change-Id: I6238ec79b916c23c07c3f7e2ac8e635f5a0d6112
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Diffstat (limited to 'src/vppinfra/pool.c')
0 files changed, 0 insertions, 0 deletions