Labels Milestones
BackNo min_thickness 0.25) (filled_areas_thickness no min_thickness 0.25) (filled_areas_thickness no min_thickness 0.25) (filled_areas_thickness no (end -4.5 -4.45 (end 4.5 6 (end -1.23 -6.85 (end -0.37 -7.65 (end -4.5 -4.45 (end -4.5 -4.5 (end 0.72 -4.5 (end 0.72 -4.5 (end 4.5 -4.4 (hatch full 0.508 (end 1.25 -0.85 (end -2.01 0.85 (end 2 -0.95 (end -2 0.95 (end.
- 02/18] Checkpoint after converting most things to SMD.
- 0.334152 -0.539147 0.773086 vertex 6.79329 0.261859 7.03804 facet.