different indentation on github and local editor?

This commit is contained in:
charlie 2018-02-22 15:38:47 +00:00
parent e46da241aa
commit 7999dc8c8a

View file

@ -120,6 +120,7 @@ module roundedSquare(pos=[10,10],r=2) {
{ {
square([pos[0]-r*2,pos[1]-r*2],center=true); square([pos[0]-r*2,pos[1]-r*2],center=true);
circle(r=r); circle(r=r);
} }
} }
@ -130,6 +131,7 @@ module ngon(sides, radius, center=false) {
rotate([0, 0, 360/sides/2]) rotate([0, 0, 360/sides/2])
circle(r=radius, $fn=sides, center=center); circle(r=radius, $fn=sides, center=center);
} }
module ellipsePart(width,height,numQuarters) { module ellipsePart(width,height,numQuarters) {
o = 1; //slight overlap to fix a bug o = 1; //slight overlap to fix a bug
difference() difference()