K 10
svn:author
V 3
dcs
K 8
svn:date
V 27
1999-11-01T08:05:22.000000Z
K 7
svn:log
V 208
Changes the default prompt to "ok".

Mike says the whole idea of a current device was a bad idea in first place,
and will be doing away with currdev.

Anyway, people are not supposed to even notice this. :-)

END