Labels Milestones
Back-2.015062e-15 -3.014534e-15 -1.000000e+00 facet normal -0.875977 0.471404 0.102188 facet normal.
- -0.0546376 0.830223 vertex -9.12468.
- 6b7d6cc6-a11c-4566-a5f2-ddde4d827642) Final revision; added custom DRC.
-2.015062e-15 -3.014534e-15 -1.000000e+00 facet normal -0.875977 0.471404 0.102188 facet normal.