scripts: move to devtools
[dpdk.git] / devtools / check-git-log.sh
2017-01-04 Thomas Monjalonscripts: move to devtools