Re: gEDA-user: PCB minimum plated hole

[DJ Delorie]

> I suggest minimum plated hole parameter to be added into the DRC.

I think this is what the vendor drill mapping is for.