mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-03 16:29:09 +02:00
ports in SPICE so that ports are first ordered by index into a string array, and then output. This avoids executing an expensive double loop.