mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-28 17:15:13 +02:00
that otherwise DRC is not re-checked after a gencell update. It is not clear to me why checks are not done otherwise.
that otherwise DRC is not re-checked after a gencell update. It is not clear to me why checks are not done otherwise.