Labels Milestones
Back-2.367393e+000 2.484593e+001 facet normal -0.989344 0.0974275 0.108195 facet normal 0.995182 -0.0980465 6.66873e-06 facet normal 0.0943136 -0.991505 0.0895749 facet normal.
- 0], // drop to axis [left_edge.
- afea9d5a2cf23e2a33a2927086270d4d602f5a2b Final revision; added custom DRC.