Labels Milestones
Back0.0818475 0.0808324 0.993362 vertex -5.1829 -4.10478 7.85113 facet normal 0.262755 0.257261 0.929934 vertex -4.99768 5.42659 6.90571 vertex -5.50428 -4.89431 6.95641 facet.
- -4.64974 4.64974 7.16319 vertex -6.74156 0 7.03201.
- Normal 2.096581e-001 3.669018e-001 9.063259e-001 facet normal -6.451590e-01 -7.640483e-01.
- Module make_the_knob() { difference() { difference() .
- -0.941529 20 vertex 6.3102 1.67508.