build: retain dpdk_mlx_default setting for ci script
[vpp.git] / docs / developer / devicedrivers / vmxnet3.rst
1 ../../../src/plugins/vmxnet3/README.rst