mirror of
https://github.com/KLayout/klayout.git
synced 2026-09-01 10:27:53 +02:00
The tech group is a new XML tag "<group>...</group>". This tag is editable in the tech "general" page as "Group". If non-empty, a submenu will be created in the tech selector menu for all techs with the same group.