Labels Milestones
Back(cleanup) $article['content'] .= "
$orig_content"; } // CTRL+ALT+DEL elseif (strpos($article['link'], 'somethingpositive.net') !== FALSE) { // only keep everything starting at the first if(preg_match("@.*(
- Vertex -4.009574e+000 -2.381767e+000 2.476740e+001 facet.
- 0.995043 vertex -6.89956 6.40186 20.0916 facet normal -1.440833e-14.
- -1.093365e+02 9.725134e+01 1.015828e+01 facet normal.