Labels Milestones
Back-2.772438e+000 4.890769e+000 2.496000e+001 vertex -5.367797e+000 1.709973e+000 9.983999e+000 vertex 6.382745e+000 3.056598e+000 9.983999e+000 vertex 5.430013e+000 4.519711e+000 9.983999e+000 vertex -4.519133e+000 -5.470537e+000 2.496000e+001 vertex 5.645941e+000 5.707424e-001 9.983999e+000 vertex -6.149543e+000 3.418378e+000 9.983999e+000 vertex -5.169086e+000 2.233433e+000 1.747200e+001 facet normal -8.031607e-001 -3.785077e-003.
- -5.718388e-001 7.524793e-001 vertex 2.054227e+000 3.532473e+000 2.488700e+001 facet normal.
- Normal -0.533413 -0.161832 0.83023.
- Rotate_extrude(convexity=10, $fn = shafthole_faces); // Adapt to.
- -0.173952 -7.18562 6.88408 vertex -7.07772 0.359534 6.95295 facet.
- // (3) MAIN MODULE knob(); // Entry point.