Labels Milestones
Back-0.956939 -0.290289 8.19447e-06 facet normal -6.716636e-001 -2.828501e-003 7.408509e-001 vertex 5.143733e+000 2.946636e+000 2.488918e+001.
- Main afea9d5a2c Final revision; added custom DRC.
- Vertex -8.76307 4.81754 0 facet normal -0.195101 0.980783.