Labels Milestones
Back-1.000000e+00 -1.229802e-13 vertex -1.044782e+02 9.725134e+01 1.197723e+01 facet normal -0.590358 0.804069 0.0703596 facet normal 9.730858e-01 3.129910e-03 -2.304220e-01 facet normal 0.22241 -0.884711 0.409659 vertex.
- -5.875229e-01 vertex -1.076659e+02 9.725134e+01 5.903821e+00 facet normal 0.876745.
- Module cherry_mx_button() { union.