3
1
Back

$re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } module label(string, size=4, halign="center", height=thickness+1, font=default_label_font) { color([1,0,0]) linear_extrude(thickness+1) text(string, size, halign=halign, font=font); } From 0d3d72c49e606725216a5a9a4217e6c039d5a574 Mon Sep 17 00:00:00 2001 Subject: [PATCH] edits README.md file adds README.md file again edits README.md file again 8976a63dc0 edits README.md file.

New Pull Request