Labels Milestones
BackThickness; module label(string, size=4, halign="center", font=default_label_font) { } /* replace '//' or '/./' or '/foo/../' with '/' */ for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1.
- 9.628593e-01 facet normal 0.678848.
- 10.1904 2.19603 facet normal.
- -1.881424e-003 9.063287e-001 vertex 5.203437e+000 -1.045038e+000.