mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +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.