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
..
2017-01-04 21:17:32 +01:00
2017-01-04 21:17:32 +01:00
2016-11-12 22:27:09 +01:00
2016-11-13 15:25:12 +01:00
2016-09-16 11:55:59 +02:00
2017-01-04 21:12:58 +01:00
2016-11-13 15:25:12 +01:00