K 10
svn:author
V 4
alex
K 8
svn:date
V 27
2003-02-12T19:15:54.000000Z
K 7
svn:log
V 296
Seems like I had another fix in my system.  On 5.0, the vmnet1 in
$LINUXBASE/dev had a different device minor than the cloned one
in /dev/vmnet1.  Thus delete the one in $LINUXBASE and link it
to the devfs one to have everything right.

This fixes the port on my fresh installed 5.0-RELEASE box.

END