mirror of
https://github.com/RTimothyEdwards/netgen.git
synced 2026-08-28 17:05:45 +02:00
saying that pins were mismatched when pin matching was never run accidentally resulted in pin matching not being applied to black-box entries. This has been corrected.
2 lines
8 B
Plaintext
2 lines
8 B
Plaintext
1.5.195
|