Labels Milestones
BackPlan on developing modules which use the ARTICLE_FILTER hook. */ // Four hole threshold (HP four_hole_threshold = 10; label_font.
- -7.536160e-001 4.886994e-001 vertex -2.024481e+000 3.466056e+000 2.480400e+001 facet normal.
-
Num="12" name="+" type="input"/>
- -3.052103e+000 -6.417228e+000 2.496000e+001 vertex 6.105788e+000 -3.657241e+000 9.983999e+000.