Labels Milestones
Back-0.533182 0.0993109 facet normal 5.026212e-001 -8.616807e-001 6.984435e-002 vertex -2.009542e+000 3.440446e+000 2.470218e+001 facet normal -0.643664 0.528347 0.553666 facet normal -0.555571 -0.831469 0 facet normal -0.836804 0.462418 0.293136 facet normal 0.573973 0.597991 0.55943 vertex 5.74517 4.54413 7.2866 facet normal 2.507905e-001 4.366441e-001 8.639711e-001 vertex -3.484193e+000 -2.849256e+000 2.494118e+001 facet normal 0.547909 0.449652 0.705414 facet normal 8.715000e-002 3.880221e-004 9.961951e-001 vertex 5.368578e+000 -3.097410e+000 2.496000e+001 vertex -7.061718e-001 -7.082244e+000 1.747200e+001 facet normal 0.364903 0.547893 0.752767 facet normal -0.256282 -0.844851 0.469623 vertex.
- 0.334131 0.625113 0.705401 vertex 3.72964 -9.00415 3.26879 vertex.
- Module make_the_knob() { difference() { union() .