Labels Milestones
Back-0.0285879 -0.0942422 0.995139 vertex -1.46714 7.3758 6.0001 facet normal -0.705407 -0.0694492 0.705392 facet normal -0.241727 -0.796857 0.553703 facet normal -0.0622132 0.0777088 0.995033 facet normal -2.890031e-001 4.954602e-001.
- 4.462929e-001 8.576564e-001 vertex 4.750911e-002 -6.030936e+000 2.492316e+001.
- Users 1e6cc98f41 Various updates, additions elseif.
- " at ", hole_dist_side, height - v_margin .