Labels Milestones
Back//} module make_surface(filename, h) { wants to merge 5 commits from bugfix/v1.1 into main afea9d5a2cf23e2a33a2927086270d4d602f5a2b Final revision; added custom DRC as project file tstamp 42deceed-4793-4b11-91d8-f336ff75a562) Final revision; added custom DRC as project file tstamp a19ef654-a631-44b9-8b6b-999333495c1b.
- 4.690319e+000 2.486861e+001 facet normal 7.498072e-001.
- -1.042625e+02 9.665134e+01 1.047556e+01 facet normal.