Labels Milestones
Back9.665134e+01 1.252081e+01 vertex -1.085511e+02 9.725134e+01 1.258937e+01 facet normal 0.532805 0.843308 0.0703631 vertex -0.84536 10.0592 0.0491304 facet normal -0.028588 0.0942416 0.995139 vertex -7.64388 -1.52046 5.97318 facet normal 0.0819649 -0.0819028 -0.993264 vertex -3.13874 -3.43619 21.7467 facet.
- 0.468318 0.409675 facet normal -0.081813 0.0823699.
- Submodules. Make_the_knob(); module make_the_knob() { difference() { difference.