Labels Milestones
BackX="5.4" y="2.0"/>
- Pin pitch=12.07mm, , diameter=16.8mm.
- Normal -0.886057 0.124598 0.446518 facet normal -0.243779.
- Normal -9.039176e-001 -4.795500e-003 4.276798e-001 vertex 5.053647e+000 2.894089e+000.
- Base shape. See knob_base(). Rotate([0, 0, i.