mirror of
https://github.com/RTimothyEdwards/netgen.git
synced 2026-08-28 17:05:45 +02:00
used when ob may be NULL. Added a check in front for ob == NULL. Also: Changed the disconnected node alert so that it does not mention nodes marked "port_mismatch_error". These are disconnected by definition, will show up in the pin list, and printing them as "disconnected pins" is just confusing to the end user.
2 lines
8 B
Plaintext
2 lines
8 B
Plaintext
1.5.214
|