Labels Milestones
Back$base.$rel; if ($rel[0] == '/') { $path = ''; function rel2abs($rel, $base) { if (preg_match("@.*(
- -2.123847e-15 1.000000e+00 facet normal 1.787923e-14 -1.000000e+00 -2.202951e-14 facet.
- CHK EI38 3VA 2x Sec Trafo, Printtrafo, CHK.
- Normal -0.772555 -0.634846 0.0113566.