Labels Milestones
Back-8.602263e-001 8.863533e-002 vertex -2.718918e+000 3.026667e+000 2.470218e+001 facet normal 4.344169e-001 9.007119e-001 0.000000e+000 facet normal -1.642182e-15 -1.709773e-15 -1.000000e+00 facet normal -9.732975e-01 -1.221638e-03 -2.295442e-01 vertex.
- Pushbutton_switch_6mm() { From e8295830c4756e41fd19dc7b9fd77b84addfd373 Mon Sep.
- 0.956941 0 facet normal.