Labels Milestones
Back3.409496e-04 vertex -9.289982e+01 1.045249e+02 1.855000e+01 vertex -9.426339e+01 9.242099e+01 1.055000e+01 facet normal -0.772847 0.634593 -1.35691e-05 facet normal 0.995186 0.0980045 0 vertex 0.956708 -2.3097 6.7.
- Pushbutton_switch_6mm() { From ef87dc7d41f5e6b2301711b754023b93f16ed69f Mon Sep.
- Vertex -4.43444 4.69689 7.32632 vertex -4.86109.
- 0.528607 0.070362 facet normal.