Hi Mike, Mike Crowe writes: > [...] > The separator appears to be important even if it is disabled by > (hierarchy-uref-mangle "disabled") Indeed, the hierarchy-uref-separator is ignored when it comes to separating base uref from full uref with hierarchy. The patch below fixes that problem. Regards, Patrick
Attachment:
gnetlist-use-uref-with-hierarchy-separator
Description: Binary data
_______________________________________________ geda-user mailing list geda-user@xxxxxxxxxxxxxx http://www.seul.org/cgi-bin/mailman/listinfo/geda-user