diff options
author | 2019-05-17 14:24:17 +0200 | |
---|---|---|
committer | 2019-05-18 19:01:51 +0000 | |
commit | 09267f705f408c061e03d07a559efba661900f2d (patch) | |
tree | af20b028831a2dedcf4b343a60aee50e64d16258 /src/pkg/debian | |
parent | 35465dc0be7d4e607f5bc3d094e2e845e61cea70 (diff) |
api: export ip_types.api for out-of-tree plugins
Out-of-tree plugins can refer to IP types in their API. The .api and
associated headers must be exported.
Change-Id: I75004343b040defd9eebac6a8a95c2ecf3c8079a
Signed-off-by: Benoît Ganne <bganne@cisco.com>
Diffstat (limited to 'src/pkg/debian')
0 files changed, 0 insertions, 0 deletions