mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-04 08:33:55 +02:00
Added code that when running "extract unique" always prefers to
change a non-port label name instead of a port name whenever it finds one of each with the same text on different nets.
This commit is contained in: