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 geda-user@xxxxxxxxxxxxxx http://www.seul.org/cgi-bin/mailman/listinfo/geda-user