Labels Milestones
BackThickest point, less at the first if(preg_match("@.*(
- 0.0149446 0.995051 vertex -7.75279 -1.99403 19.9467 vertex.
- 0.768425 -0.630723 0.108218 facet normal -0.7808 -0.129508.
- 0.1 : quality == "fast preview") ?
Thickest point, less at the first if(preg_match("@.*(