Labels Milestones
Back"error", "pin_not_driven": "error", "pin_to_pin": "warning", "power_pin_not_driven": "error", "similar_labels": "warning", More tweaks after pro review elseif.
- (outputformat 1) (mirror false.
- 0.116004 0.993249 vertex -1.0528 -7.11659 7.9152 facet.
- -1.511299e-15 -2.759487e-15 -1.000000e+00 facet normal 0.489735 -0.507857 0.708689.