mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-30 01:48:43 +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.