Merge branch 'master' into dual_legend

This commit is contained in:
IhatemyISP 2020-03-07 13:56:49 -05:00 committed by GitHub
commit 71a45540f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 3 deletions

View File

@ -19,13 +19,11 @@ module switch_hole() {
cube(14, center=true);
}
module plate(layout_object) {
difference() {
hull() {
simple_layout(layout_object) unit_corners();
}
simple_layout(layout_object) switch_hole();
}
}