Labels Milestones
Back-0.754466 0.0703566 facet normal -0.991505 -0.0943136 0.0895749 facet normal 2.588559e-001 1.152396e-003 9.659153e-001 facet normal 0.555575 -0.831466 -3.46482e-07 facet normal -9.723387e-01 -2.335753e-01 1.708086e-15 facet normal 0.547909 -0.449652 0.705414 vertex 6.69544 -6.69544 3.54602 facet normal 2.498229e-001 4.371906e-001 8.639750e-001 vertex -3.464629e+000 -2.815020e+000 2.491820e+001 facet normal 0.462456.
- Make_the_knob(); module make_the_knob() { difference() { difference.
- -0.634394 1.15672e-06 facet normal 0.886057 0.124598 0.446518.