mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 17:39:28 +02:00
nodes which are created due to having multiple ports with different names on the same wire (electrically connected pins). This prevents "extresist" from double-counting the wire.