K 10 svn:author V 6 eivind K 8 svn:date V 27 1998-01-31T03:19:06.000000Z K 7 svn:log V 189 Remove unused devfs include. (Julian or Satoshi might want to add proper DEVFS support here; just including the header file doesn't do any good, and would make this depend on opt_devfs.h) END