Labels Milestones
BackVertex 2.42184 2.42184 18.1498 vertex -3.3714 0.269444 6.59 facet normal 9.342429e-01 3.566374e-01 0.000000e+00 vertex -9.858900e+01 9.181025e+01 2.655000e+01 facet normal -6.797471e-001 -3.260837e-003 7.334393e-001 vertex 4.134610e+000 2.368756e+000 2.490742e+001 facet normal 0.163174 0.820341 -0.548101 facet.
-
Created with Inkscape (http://www.inkscape.org/) -->
- (HP) hole_dist_side = hp_mm(1.5); // Hole.
- Pot_0547() { // make a.