build: add single source of DPDK version number
[dpdk.git] / devtools / cocci.sh
2018-10-01 Thomas Monjalondevtools: use a common prefix for temporary files
2017-01-04 Thomas Monjalonscripts: move to devtools