diff options
| author |   Jakub Grajciar <jgrajcia@cisco.com> | 2020-01-31 09:51:41 +0100 |
|---|---|---|
| committer | Jakub Grajciar <jgrajcia@cisco.com> | 2020-02-26 10:40:58 +0100 |
| commit | 908965db7e3075ba7bacd924bfb0df203fe6cc7d (patch) | |
| tree | 49cc97fbc7fa0154512182b7e6de07026ab4717a /extras/vagrant | |
| parent | 2dbee9361e74d03727a8b618ba80a5e28c006011 (diff) | |
span: API cleanup
Use consistent API types.
Type: fix
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Change-Id: Ifddac07b15b116574de3a97f7c80d7bf6a3171f7
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Diffstat (limited to 'extras/vagrant')
0 files changed, 0 insertions, 0 deletions