mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
change a non-port label name instead of a port name whenever it finds one of each with the same text on different nets.
change a non-port label name instead of a port name whenever it finds one of each with the same text on different nets.