3
1
Back

PHP_URL_SCHEME) != '' || substr($rel, 0, 2) == '//') { return $rel; } if ($rel[0]=='#' || $rel[0]=='?') { return 2; } /* dirty absolute URL */ /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array( '#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#' ); for ($n = 1; // actually.. I don't know what this does. Pad = 0.2; // Padding to maintain manifold rotate_extrude(convexity = 5, $fn = shafthole_faces.

New Pull Request