synth_tools

Back

If ($rel[0]=='#' || $rel[0]=='?') { return $rel; } if ($rel[0] == '/') { $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '/') { $path = ''; } /* dirty absolute URL */ $abs = "$host$path/$rel"; function get_content($link) { $html .

Vertex -1.074910e+02 9.665134e+01 1.151572e+01 facet normal -0.000756237 -0.0978509.
-5.922276e+000 2.484593e+001 facet normal -0.758286 -0.595624 0.265017.

New Pull Request

Labels Milestones