K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1999-03-31T08:28:42.000000Z
K 7
svn:log
V 122
Make <DEL> an alternative rubout character for command input; many
serial terminals use this as their default rubout key.

END