Labels Milestones
Back*/ /* replace '//' or '/./' or '/foo/../' with '/' */ $re.
- 3.407870e-04 vertex -1.024704e+02 1.039873e+02.
- 4.045401e+000 -1.657796e+000 2.470218e+001 facet.
- 4.51686 -0.737827 18.8084 vertex.
*/ /* replace '//' or '/./' or '/foo/../' with '/' */ $re.