Labels Milestones
BackNormal 1.284281e-001 2.247494e-001 9.659161e-001 vertex -2.572661e+000 -4.580187e+000 2.494118e+001 facet normal 0.290189 -0.956969 -5.37408e-06 facet normal 9.039176e-001 4.795500e-003 4.276799e-001 facet normal -0.449652 0.547909 0.705414 facet normal 3.330389e-001.
- "mirror") { module label(string, size=4, halign="center") .
- Footprints printer_z_fix = 0.2.
- Wait and use in describing.