K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1995-12-26T14:01:16.000000Z
K 7
svn:log
V 39
Removed nonexistent option AUTO_EOI_1.

END