mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 01:24:51 +02:00
yesterday's commit to allow the syntax "gds maskhints <types>", in which mask hints can be restricted to a specific list of layers rather than all layers which define mask hints in the cifoutput rule.