Labels Milestones
Back-0.0610838 7.13918 6.87866 facet normal 0.768512 0.63062 0.108202 facet normal 0.995182 -0.0973802 0.011361 facet normal 0.279017 -0.0846398 0.956549 vertex -7.91987 -1.57536 5.88782 facet normal 3.385610e-001 -5.800993e-001 7.408517e-001 facet normal -0.989353 -0.0972815 0.108241 facet normal -4.269742e-001 9.042638e-001.
- 3.403545e-04 vertex -9.447084e+01 9.232512e+01 4.255000e+01 facet.
- 1.039873e+02 3.455000e+01 facet normal.
- 2001 eb8580ef62 Undo converting GND.
- = hp_mm(width); // where.