Labels Milestones
BackInsert_depth = 12; label_font_size = 5; $fn=FN; tolerance = 0.25; // this is the first if(preg_match("@.*(
- 2.430267e-001 facet normal -7.640264e-01 -6.451849e-01.
- 5.019336e-001 -8.605022e-001 8.716998e-002 vertex -2.511928e+000 4.300558e+000 2.470218e+001 facet.
- 2.340333e-14 facet normal 0.748114 0.309898 0.586762.