chiark / gitweb /
pci-db: make sure we actually read the pci.ids file instead of usb.ids