mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
not to re-process processed tiles made an incorrect assumption, causing tiles not to be re-processed when the clip area changed, such that areas would be missed. It is not clear that in its corrected version, "bloat-all ... [dist]" is any more efficient than the original implementation of an incremental series of bloat + AND. At least the syntax in the tech file is much simplified.