K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1998-06-21T13:36:53.000000Z
K 7
svn:log
V 258
Moved P1003 options from the middle of the devices section to the
end of the main options section.

Turned on documented option OVERRIDE_TUNER.  LINT is primarily
for turning on options, not for documenting them.

Don't list IPFILTER twice (once as broken).

END