diff options
| author |   Jakub Grajciar <jgrajcia@cisco.com> | 2020-01-31 09:35:29 +0100 |
|---|---|---|
| committer |   Florin Coras <florin.coras@gmail.com> | 2020-03-05 15:26:51 +0000 |
| commit | b4e5e50fe898bf905aa7087e17740394b97e5cf9 (patch) | |
| tree | 26e8afd851165d38def755048fe69d6578de9fe8 /src/pkg/debian | |
| parent | 5893747d72acd0a507f74fe61c13cae54de23630 (diff) | |
session: API cleanup
Use consistent API types.
Type: fix
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Change-Id: Ib752a3425c076eb53bc5255a48039cbb74b1fcce
Signed-off-by: Jakub Grajciar <jgrajcia@cisco.com>
Diffstat (limited to 'src/pkg/debian')
0 files changed, 0 insertions, 0 deletions