K 10
svn:author
V 6
eivind
K 8
svn:date
V 27
1998-02-21T10:11:43.000000Z
K 7
svn:log
V 138
Make TUNE_1542 a new-style option, and enable this option in LINT.  It
has been disabled since 1994 by mistake (or at least I hope so :-)

END