tree 01026431f27e5b445d83014c0e5daff4ac7e507a
parent bddf21b9e21e7b9b46250f2cd9ada162a092dfca
author Davide Pesavento <davidepesa@gmail.com> 1694673641 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1694673641 -0400

build: simplify installation of header files

Change-Id: I75361e483c5f808d77ad634c7132bc4338fbfc45