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

Reply via email to