Labels Milestones
Back0.736595 0.223441 -0.638358 facet normal -0.881921 0.471397 0 facet normal -0.875985 -0.471387 0.102199 facet normal 7.071006e-001 3.148585e-003 7.071059e-001 vertex -5.078753e+000 9.622872e-001 2.484855e+001 facet normal 0.0723002 0.0677156 0.995082 vertex -5.16066 6.47125 19.9688 facet normal 0.946485 -0.307054 0.0994239 vertex 7.74866 -1.98952 20 facet normal.
- Pushbutton_switch_6mm() { From e8295830c4756e41fd19dc7b9fd77b84addfd373 Mon.
- 0.30898 0.950758 vertex 4.59157 -1.20951 18.9636 vertex.
- -0.0980333 -0.98848 0.115312 facet normal.