Labels Milestones
Back"dial" ring (in mm). Set to zero if you don't want a D-shaped.
- 1.008249e+000 2.494118e+001 facet normal.
- 0.286108 0.952732 0.102199 facet normal -9.060168e-001.
- ($rel[0] == '#' || $rel[0] == '?') .
"dial" ring (in mm). Set to zero if you don't want a D-shaped.