Labels Milestones
Back// cube([137.5, 97, 1], center=true); working_increment = working_height / (8+tolerance/3); // generally-useful spacing.
- -0.539147 0.773086 facet normal -4.084597e-01 9.127763e-01 0.000000e+00.
- -0.114014 0.061823 0.991554 facet normal 0.865137 -0.462425.
- Normal 0.133703 -0.0819226 0.98763 facet normal.