K 10
svn:author
V 7
wollman
K 8
svn:date
V 27
1995-04-13T21:11:53.000000Z
K 7
svn:log
V 16
Add devmenu(1).

END