Just wondering, what should I do with pins that should not be connected. Whats the pintype going to be? pinseq?
Omer Osman _______________________________________________ geda-user mailing list [email protected] http://www.seul.org/cgi-bin/mailman/listinfo/geda-user
