You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fixed issue #1860 (problem with undo after delete layer)#1861
Merged
klayoutmatthias merged 1 commit intomasterKLayout/klayout:masterfrom issue-1860KLayout/klayout:issue-1860Copy head branch name to clipboardSep 20, 2024
Matthias Koefferlein