move developer tools from dpdk to dpdk-dev
[deb_dpdk.git] / debian / dpdk-dev.install
2019-01-10 Christian Ehrhardtmove developer tools from dpdk to dpdk-dev 54/16754/1