K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1998-02-03T22:09:01.000000Z
K 7
svn:log
V 85
Converted DISABLE_PSE to a new-style option.

Fixed some formatting in options.i386.

END