Labels Milestones
Back-0.499906 0.86608 0.000116599 facet normal 0.000000e+00 -3.662866e-15 1.000000e+00 vertex -1.034466e+02 9.890134e+01 2.550000e+00.
- -0.980847 0 vertex 10.1521 0.388301 2.19603.
- Holes } module pushbutton_switch_6mm() { From e8295830c4756e41fd19dc7b9fd77b84addfd373.