mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-10-07 02:12:56 +02:00
Tim Edwards
38c6ce3b07
"ignore-unknown-layer-labels" is set, then error messages will not be displayed when labels in the GDS input are on unknown layers (this option is and has been otherwise handled correctly; the only issue is the generation of an error message on the output).
2 lines
6 B
Plaintext
2 lines
6 B
Plaintext
8.3.9
|