mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 17:39:28 +02:00
options "text", "port", and "noport" in the techfile. The incorrect interpretation was preventing backwards compatibility, such that ports would not be output on GDS layers if the "port" option was not used.