Labels Milestones
Back(end -0.5 0 (end 4 0 (end -0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end -5 6.5 (end 5 -7.9 (end -5 -7.9 (end -4.5 6 (end -1.23 -6.85 (end -0.37 -7.65 (end -4.5 -4.45 (end -4.5 -4.45 (end -4.5 -4.4 (end 0.
- 0.725368 0.0992896 facet normal 0.468635 -0.876739 0.108209.
- BOM Various tweaks From cd915e24c94d463c67b0b011c09a1ed6f99bb0bf Mon Sep.
- -4.933281e-002 -8.512744e-002 9.951480e-001 facet normal 0.881857.