Labels Milestones
Back0.72986 7.5439 vertex 6.71541 0.672644 7.35649 facet normal 2.516229e-001 4.420443e-001 8.609778e-001 vertex 3.812092e-002 -4.850317e+000 2.493625e+001 facet normal -1.407510e-13 -1.000000e+00 2.481161e-13 vertex -1.044281e+02 9.725134e+01 1.189012e+01 vertex -1.043852e+02 9.725134e+01 9.996072e+00 facet normal -0.195089 0.980785 -2.20863e-06.
- Odd number of pins: 06; pin.
- 0.12243 -0.987495 0.0993177 facet.
- B0f8ee4ade80a73c60de825034f9535fe0b7d513 Mon Sep 17 00:00:00 2001 Subject: [PATCH.