K 10 svn:author V 3 phk K 8 svn:date V 27 2001-02-08T22:07:08.000000Z K 7 svn:log V 131 Fix a cosmetic problem with some very defensive programming: The devfs mount would show up as "/dev/", loose that trailing slash. END