i stubled on some formatting issues in usb(4) this morning and
noticed usb/ccid, which doesn't appear to be in the standard
distribution.

is this an oversite, or can it be safely removed.

- erik

Reply via email to