Labels Milestones
Back3; difference() { difference() { difference() { union() { difference(){ color([.1,.1,.1]) panel(width); //module title(string, size=9.
- Normal -0.0816197 -0.758952 0.646011 facet normal 4.639141e-001.
- -0.995114 -0.0980109 -0.0119198 facet normal 9.771068e-001 -2.127494e-001.