mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
"ext2sim extresist on", which was being shared; that leads to confusion, especially when using "ext2sim" to generate a node name input file for "extresist". Also: Added a warning when two ports are merged in a .ext file, as this can lead to numerous incorrect entries in netlist output.