Labels Milestones
BackIndentations() { if(indentations_sphere == true } module rail(height) { difference() { union() { difference(){ color([.1,.1,.1.
- -0.780252 -0.0331891 0.624584 facet normal -9.838410e-04.
- -0.0120147 facet normal -9.723387e-01.
- -0.125447 0.991951 vertex -2.47681 7.61222.