Re: gEDA-user: How do you unmask via's in PCB?

[DJ Delorie]

What I did for my board was create an element called "pin155" that had
an 0.155 drilled hole and nothing else.  Then I just added four of
those from the library.