mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-03 16:29:09 +02:00
function that was available in versions 7.1 and earlier that allows the use of the command "erase errors" to remove DRC error paint (only when the DRC checker is off, of course).