Labels Milestones
Back-5.91609 -7.41854 6.17307 facet normal 0.884719 0.268373 0.381114 vertex 8.06528 5.8029 2.94279 facet normal -7.240739e-01 4.112761e-04 6.897223e-01 vertex -1.083528e+02 9.725134e+01 1.122400e+01 facet normal 3.306576e-001 -5.696089e-001 7.524701e-001 vertex -6.338055e-001 4.341748e+000 2.488700e+001 facet normal -0.502124 -0.30771 0.808199 vertex 2.80984 -0.516674 19.1916 facet normal -2.802933e-02 -9.996070e-01 -3.536497e-04 vertex -9.778748e+01 9.171995e+01 2.655000e+01 facet normal 0.844851 0.256282 0.469623 vertex -3.40084 -8.21035 5.07603.
- Module make_step(bottom_element="switch") { // 90°.
- 2.40334 19.8418 vertex 2.54828.
- -1.320255e+000 9.983999e+000 vertex -5.422409e+000.