diff options
| author |   Romain Forlot <romain.forlot@iot.bzh> | 2019-02-01 15:57:08 +0100 |
|---|---|---|
| committer | Romain Forlot <romain.forlot@iot.bzh> | 2019-02-01 15:57:15 +0100 |
| commit | 8c276ea199152f9e8c44e24cc7c202b1909f9f6c (patch) | |
| tree | 65f494130012f8a04a72833cb147f79b9bd397c5 /.gitreview | |
| parent | d4bd75031b961912c5f1cd570fdc9abb4c21b034 (diff) | |
Add the header files in the dev package
Debian packages lacks header files.
Change-Id: I53ad358c3f19c7aa210d4176643d9b46b9737b25
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions