Labels Milestones
BackModule pushbutton_switch_6mm() { From 3afa35e4b17ae9426036976f5252a8b43f759734 Mon Sep 17 00:00:00 2001 Subject: [PATCH.
- After a new version.
- | R4, R6, R7 .
- -6.23601 4.16678 6.0001 vertex -6.23601.
- Normal -5.997054e-001 -2.252124e-003 8.002177e-001 vertex 4.155566e+000.
- -0.704821 -0.704821 0.0803382 facet normal 7.808552e-001 3.477091e-003.