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