K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1997-01-16T13:31:55.000000Z
K 7
svn:log
V 183
Added file kern_opt.c for putting warnings about defunct options in.
Warn about recently removed option EXTRAVNODES and about other rubbish
that hasn't been put in opt_defunct.h yet.

END