Russ Allbery wrote: > We have a ton of exceptions already by file extension, so it's trivial > to add another one. Given your description of an *.hi file, I have a > hard time imagining anything named copyright.hi or license.hi will be > anything other than a false positive.
Ok, License.hi is the standard interface file, and License.p_hi is the profiling version (just for completeness). Cheers, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/ -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
