build: use integer for max ethdev ports option
[dpdk.git] / .gitattributes
2016-11-13 Thomas Monjalonimprove git diff