hole-repair-20191117: adjustments from email

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

diff --git a/hole-repair-20191117.scad b/hole-repair-20191117.scad
index 4b3f56c3a4a1b5a8ba2cf3fd81712523954aa7e1..0138c6741254a7e400bd6e1e57ba4b3666385d0e 100644 (file)
--- a/hole-repair-20191117.scad
+++ b/hole-repair-20191117.scad
@@ -5,7 +5,7 @@ post_height = 20;
 
 th = 4;
 
-nom_hole = 22;
+nom_hole = 25;
 min_r = 15 + nom_hole/2;
 maj_r = 15 + nom_hole/2;