mirror of
https://github.com/KLayout/klayout.git
synced 2026-08-29 01:14:35 +02:00
Problem was rounding that lead to incorrect distance measurements between parallel edges when one edge was very short.
Problem was rounding that lead to incorrect distance measurements between parallel edges when one edge was very short.