mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
cells as a "note" if "gds noduplicates" has been set, and a "warning" otherwise. This makes error handling of magic's output a bit easier.