mirror of
https://github.com/RTimothyEdwards/netgen.git
synced 2026-09-02 02:38:34 +02:00
significant overhaul of the MatchPins() code, and better handles issues with pins disconnected from nets and removes cases in which proxy pins are incorrectly generated.
2 lines
8 B
Plaintext
2 lines
8 B
Plaintext
1.5.230
|