K 10
svn:author
V 3
phk
K 8
svn:date
V 27
2001-05-25T09:06:52.000000Z
K 7
svn:log
V 162
Use the name given to the dev_t, rather than creating our own.
This makes it possible to give sensible information for /dev/fd.720
and similar "special" devices.

END