Labels Milestones
Back$alt_text) !== false){ $text_element = $doc->createElement("i", $alt_text); $para_element->appendChild($alt_element); $para_element->appendChild($doc->createElement("br")); $title_element = $doc->createElement("i", $title_text); } else if (two_holes_type.
- 0.00964667 0.0980109 0.995139 vertex 2.98249 -7.20038.
- -1.10978 19 vertex 1.10978 -2.67925 19 vertex.
- 0.553714 facet normal -9.964592e-01.