K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1995-06-25T13:57:55.000000Z
K 7
svn:log
V 298
Add a `reset' command to UserConfig.  Our documentation does
explicitly advise the users to reset the machine in case they have
done bogus things (to prevent `dset' from merging the changes into
/kernel), and it's also useful for machines with serial consoles that
are physically in another place.

END