Labels Milestones
Back-0.0427047 0.995069 vertex -7.90932 2.4397 19.9688 facet normal -0.544076 -0.225367 0.808202 facet normal -1.240490e-15 9.755479e-16 -1.000000e+00 facet normal -0.0208841 0.0914064 -0.995595 vertex.
- 5.5239 2.20578 19.9 facet.
-
Ref="R13" pin="2"/>
Module railProfile() { polygon(railProfilePoints); } module pushbutton_switch_6mm.