The CVS ID isn't needed anymore.
authorSascha Wildner <saw@online.de>
Fri, 5 Dec 2008 21:53:51 +0000 (22:53 +0100)
committerSascha Wildner <saw@online.de>
Fri, 5 Dec 2008 21:53:51 +0000 (22:53 +0100)
tools/tools/pciid/mk_pci_vendors.pl

index bd11ec7..735ca97 100644 (file)
@@ -183,7 +183,6 @@ close(PCIIDS);
 
 $optlused = $opts{l} ? "with" : "without";
 print <<HEADER_END;
 
 $optlused = $opts{l} ? "with" : "without";
 print <<HEADER_END;
-; \$DragonFly\$
 ;
 ; Automatically generated by src/tools/tools/pciid/mk_pci_vendors.pl
 ; ($optlused the -l option), using the following source lists:
 ;
 ; Automatically generated by src/tools/tools/pciid/mk_pci_vendors.pl
 ; ($optlused the -l option), using the following source lists: