mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-10-07 18:33:09 +02:00
used with "ext2spice hierarchy on" because the device index is not reset between calls to output cells in the hierarchy, leading to a mismatch of the index for all cells after the first one output.