mirror of
https://github.com/KLayout/klayout.git
synced 2026-09-07 03:21:34 +02:00
Problem was rounding that lead to incorrect distance measurements between parallel edges when one edge was very short.
214 KiB
214 KiB