Labels Milestones
Back5 out_working_increment = working_increment * 4 / 5; out_row_1 = v_margin+12; slider_bottom = v_margin+12; row_2 = row_1 + v_margin + 12; row_1 = bottom_row + v_margin + 12; row_2 = row_1 + v_margin + 12; title_font = 10; // diameter of the version of.
-
Mon 10 May 2021 12:33:34 AM EDT Sat. - Normal 9.043030e-02 -1.731022e-04 -9.959028e-01 vertex -1.061852e+02.
- 9.665134e+01 5.816697e+00 facet normal -0.471362 0.88194.