3
1
Back

Extract(parse_url($base)); $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '/') { } else { return $rel; } if ($rel[0]=='#' || $rel[0]=='?') { return array(0.1, return array( $html, $content_type ); } module title(string, size=12, halign="center", font=font_for_title) { color([1,0,0]) linear_extrude(thickness+1.

New Pull Request