mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-05 16:54:59 +02:00
"gds datestamp <value>" as an option to force a specific datestamp on the GDS output. This is a third option beyond the previous two which were either to use the current time or to write zero. The new option allows an entire library to get a common timestamp, for example, related to a PDK version number. The "gds nodatestamp" option has been retained for backwards compatibility.