mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-10-06 09:53:00 +02:00
on cells with multiple ports per pin. As written, the code was erasing all labels before creating a new port label, which would erase all previous port labels. This should have been done only on the first port.