tree 7d82a68c980876f6fd0dd1311a28ef32e4081c96
parent 9779197f02b9ab5f4a1afc1292ec8e95d0740855
author Damjan Marion <damarion@cisco.com> 1531502277 +0200
committer Dave Barach <openvpp@barachs.net> 1531508067 +0000

vppinfra: add missing header file to install list

Change-Id: I1f82c40f9f927296d5d439b0db70a70ef803cf3c
Signed-off-by: Damjan Marion <damarion@cisco.com>