mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-07 19:36:23 +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.