K 10
svn:author
V 3
bde
K 8
svn:date
V 27
2000-01-08T14:34:50.000000Z
K 7
svn:log
V 332
Fixed removal of unknown options.  For options files with only a single
known option, unknown options following the known option were not
removed.  Now I think only unknown options in unknown options files
are not removed.  This is harmless because unknown options files should
not be used, but removing the files would be cleaner.

END