K 10
svn:author
V 3
phk
K 8
svn:date
V 27
1999-11-08T07:44:01.000000Z
K 7
svn:log
V 70
Rename remove_dev() to destroy_dev().

Nagged about by:        msmith

END