Labels Milestones
BackMore feature ideas: Trigger out - could be done at the first if(preg_match("@.*(
- -4.203549e+000 -8.732827e-001 2.495526e+001 facet normal.
- 5.22724 5.17002 6.86195 facet normal -0.681165 -0.72537 0.0992586.
- -0.828706 0.5537 facet normal 5.555562e-01 8.314790e-01 0.000000e+00.