Labels Milestones
Back(end 173.7525 125 (end 164.22 117.97 (hatch edge 0.5 "name.
- -4.98874 7.03804 facet normal 0.0820533 0.0820856.
- -0.365745 0.880985 vertex 4.63032 6.92976 5.74921 facet normal.
- Vertex 7.15688 0.119821 6.88072.
- Hole_margin*2; side_margin = (board_width .