mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 01:24:51 +02:00
in which if a cell is read from GDS that has the same name as a cell in memory, then the cell in memory is renamed to keep all cell names unique in the database.