K 10
svn:author
V 3
ats
K 8
svn:date
V 27
1994-12-11T00:09:34.000000Z
K 7
svn:log
V 47
Document the options DUMMY_NOPS and TUNE_1542.

END