Labels Milestones
BackHole_dist_side, hole_dist_top); echo("Putting a hole with radius: ", hole_r , " at ", hole_dist_side, height - hole_dist_top.
- -4.193455e+000 1.747200e+001 facet normal -9.352432e-001 -3.366732e-003 3.539899e-001.
- Workflows yet. For more information on Gitea.
- 0.00385378 -0.367708 0.929933 vertex -7.37107 0.303284 6.90571 facet.