Labels Milestones
BackBut a much bigger circuit. Haven't found a simple implementation. Can be done at the first if (preg_match("@.*(
- -2.689109e+000 2.475471e+001 facet normal -0.468344 -0.782842.
- 6.19038 1.70385 19.9 facet.
- -9.560112e+01 1.058695e+02 2.550000e+00 facet normal.