Merge pull request #117 from Ruudjhuu/fix/zero_in_square

remove square with zero height call
This commit is contained in:
Ruud 2023-05-29 11:05:36 +02:00 committed by GitHub
commit e796bfd640
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -174,7 +174,6 @@ module profile_wall_sub() {
translate([r_base-d_clear,$dh,0])
mirror([1,0,0])
profile_base();
square([d_wall,0]);
}
}