pci: separate detaching ethernet ports from PCI devices
[dpdk.git] / doc / logo /
2015-12-13 John McNamaradoc: change theme of guides