luke
/
magic
mirror of https://github.com/RTimothyEdwards/magic.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
magic/VERSION

2 lines
8 B
Plaintext
Raw Normal View History

Fixed an error in the DRC rule optimization ("||" used instead of "|"), 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.
2021-08-01 18:04:13 +02:00
8.3.195