Labels Milestones
Back*/ left_rib_x = hole_dist_side + thickness; working_height = height - hole_dist_top); echo("Putting a hole with radius: ", hole_r , " at ", hole_dist_side, height - v_margin .
- -9.426361e+01 1.053818e+02 1.055000e+01 vertex -9.176090e+01 1.033860e+02 2.655000e+01.
- Vertex -1.074042e+02 9.695134e+01 5.523908e+00 facet normal 0.491592.
- -5.148046e+000 -2.117684e+000 2.491820e+001 facet normal.