Labels Milestones
Back-3.78574 12.5787 facet normal 2.096583e-001 3.669017e-001 9.063259e-001 facet normal 0.463914 -0.883081 0.0703597 facet normal 1.344394e-14 -1.000000e+00.
- DEF SW_Push_Lamp SW 0.
- Sphere_indents_cutdepth = 3; difference() .
- -0.840151 -0.533181 0.0993188 facet normal.
- Dot4 Dot5 Dot6 Dot7 Dot8 Dot9 Dot10 Dot11.