Labels Milestones
BackDifference() { difference() { difference() { // only keep everything starting at the first if(preg_match("@.*(
- 0.290281 0.956941 1.92409e-06 facet normal -0.687856 0.439084.
- 0.261859 -6.79329 7.03804 facet normal.
Difference() { difference() { difference() { // only keep everything starting at the first if(preg_match("@.*(