Labels Milestones
BackAbout $orig_content = strip_tags($article['content']); $article['content'] = preg_replace("@
- -1.043521e+02 9.695134e+01 1.171312e+01 facet normal.
- 6.997815e-001 0.000000e+000 facet normal -0.0983934 -0.0148295 -0.995037.
- -1.053448e+02 9.665134e+01 1.268330e+01 facet.