hole-repair-20191117: finished quality

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/hole-repair-20191117.scad b/hole-repair-20191117.scad
index 25a8c0707bcaec15150b6afa91b2597464436714..e2d7c7393c1905ef2d339a65cc91d933ed503b1c 100644 (file)
--- a/hole-repair-20191117.scad
+++ b/hole-repair-20191117.scad
@@ -11,8 +11,8 @@ maj_r = 30 + nom_hole/2;
 
 postwall_th = 2;
 
-//$fa=1;
-//$fs=1;
+$fa=1;
+$fs=1;
 
 module Profile(r) {
   polygon([ [0,        0],