doc: add default values of install variables
[dpdk.git] / devtools / cocci /
2017-01-04 Thomas Monjalonscripts: move to devtools