mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-01 02:28:41 +02:00
implement a GF DRC rule. This variant allows for a difference between the minimum allowed surround on one side and the amount that must be extended on the adjacent side.