K 10
svn:author
V 3
bde
K 8
svn:date
V 27
2000-01-09T12:52:01.000000Z
K 7
svn:log
V 132
Remove even known options if they are in the wrong options header.  This
fixes movement of options.  Stale copies were left behind.

END