mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-04 08:33:55 +02:00
differentiating between bar and square contacts on input. Also: added handling of the "mask-hints" operator for GDS input as well as GDS output. This is a bit more realistic now that the mask hint properties are handled as scalable integers and not as character strings.