Skip to content

Rename gds_ports -> ports, fix port centers and remove port size calculation from base#183

Merged
joamatab merged 1 commit intogdsfactory:mainfrom yaugenst:common_portsOct 17, 2023