mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
Tim Edwards
c776c82445
"|"), pointed out by Jim Everitt. The error is pretty major, but because the section of code it affects is just eliminating unnecessary DRC rules, I believe that the only effect is that the DRC ruleset ends up using more memory than it needs to. But, good to have fixed.
2 lines
8 B
Plaintext
2 lines
8 B
Plaintext
8.3.195
|