K 10
svn:author
V 3
dfr
K 8
svn:date
V 27
2000-04-08T15:31:28.000000Z
K 7
svn:log
V 44
Use makeobjops.pl instead of makedevops.pl.

END