K 10
svn:author
V 2
ru
K 8
svn:date
V 27
2005-11-25T22:25:34.000000Z
K 7
svn:log
V 375
Clean some code that became obfuscated over the years:
Don't keep duplicate files in the files list just to
mark the device as "known" later.  XXX: Since the
device list isn't unique (there can be two "device foo"
directives, as this the case with LINT+DEFAULTS), we
have to traverse it all to mark all copies of the same
device as "used", but this is not worse than it was.

END