Labels Milestones
Back-0.309855 0.748087 0.586818 vertex 5.15193 2.3142 19.8418 facet normal -0.247464 0.963798 0.099271 facet normal -1.455975e-001 2.517397e-001 9.567803e-001 facet normal 0.779907 -0.400391 0.481074 facet normal 6.188343e-01.
- Pushbutton_switch_6mm() { From e8295830c4756e41fd19dc7b9fd77b84addfd373 Mon Sep 17 00:00:00.
- 0.995184 -0 vertex -5.66146 -8.47298.
- 1.147676e-03 vertex -9.029324e+01 1.001063e+02 1.855000e+01.