Labels Milestones
Back* this is actually a pushbutton momentary, but roughly same dimensions as.
- -5.028090e+000 2.496000e+001 vertex 7.092029e+000.
- Normal 0.13748 0.572633 0.808202 facet normal -0.630299 0.768773.
- -3.04892 6.59 vertex 2.53249 1.69705 6.59.