move developer tools from dpdk to dpdk-dev
[deb_dpdk.git] / debian / not-installed
2018-11-27 Luca BoccassiMerge tag 'upstream/18.11' into 18.11.x 11/16211/1
2018-11-19 Luca BoccassiMerge tag 'upstream/18.11-rc4' into 18.11.x 25/16025/1
2018-11-14 Luca BoccassiMerge tag 'upstream/18.11-rc3' into 18.11.x 27/15927/1
2018-11-13 Luca BoccassiUse dh-missing 67/15867/2