Labels Milestones
Back$base.$rel; if ($rel[0] == '#' || $rel[0] == '?') .
- -1.000000e+00 -7.063260e-07 facet normal.
- -0.338907 0.937991 facet normal.
- 0.632574 vertex 7.27387 -4.86024 5.33536 facet normal.
$base.$rel; if ($rel[0] == '#' || $rel[0] == '?') .