mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 17:39:28 +02:00
of systems calls to "gzip" and "gunzip". A compressed GDS file can be made simply by doing "gds write <name>.gds.gz", and can be read simply by doing "gds read <name>.gds.gz". Names of compressed files can be put in the GDS_FILE property of a cell.