devtools: fix version search with git < 2.7.0
[dpdk.git] / devtools / cocci.sh
2017-01-04 Thomas Monjalonscripts: move to devtools