You probably don't have MinMaskGap() then. It was added on Sept 21st, according to CVS.
_______________________________________________ geda-user mailing list [email protected] http://www.seul.org/cgi-bin/mailman/listinfo/geda-user
You probably don't have MinMaskGap() then. It was added on Sept 21st, according to CVS.
_______________________________________________ geda-user mailing list [email protected] http://www.seul.org/cgi-bin/mailman/listinfo/geda-user