K 10 svn:author V 7 n_hibma K 8 svn:date V 27 2001-09-18T22:27:41.000000Z K 7 svn:log V 118 Update the header of the file with a comment on how to regenerate the usbdevs* file correctly. Suggested by: phantom END