3
1
Back

15, 16] if (h < four_hole_threshold) { if (two_holes_type == "mirror") { module title(string, size=12, halign="center", font=font_for_title) { color([1,0,0]) linear_extrude(thickness+1) text(string, size, halign=halign, font=font); } module make_surface(filename, h) { From 3afa35e4b17ae9426036976f5252a8b43f759734 Mon Sep 17 00:00:00 2001 Subject: [PATCH] checkpoint before getting really.

New Pull Request