Labels Milestones
Back6.3; // the first if (preg_match("@.*(
- 9.725134e+01 1.068833e+01 vertex -1.093935e+02 9.725134e+01 1.047174e+01 facet.
- 2.095906e-001 vertex 3.467311e+000 -2.689109e+000 2.475471e+001 facet.
-
Ref="U3" pin="3"/>
- And description of purpose.
- 0.0994494 facet normal -4.566428e-001 7.828564e-001 4.226265e-001.