devtools: fix check of symbol added as stable API
[dpdk.git] / .gitattributes
2016-11-13 Thomas Monjalonimprove git diff