Thomas Monjalon 9a98f50e89 scripts: move to devtools ... The remaining scripts in the scripts/ directory are only useful to developers. That's why devtools/ is a better name. Signed-off-by: Thomas Monjalon <thomas.monjalon@6wind.com> Tested-by: Ferruh Yigit <ferruh.yigit@intel.com>		2017-01-04 21:17:32 +01:00
..
mtod-offset.cocci	scripts: move to devtools	2017-01-04 21:17:32 +01:00