Labels Milestones
BackTo merge 3 commits from bugfix/v1.1 into main afea9d5a2c Final revision; added custom DRC as project file tstamp 6b7d6cc6-a11c-4566-a5f2-ddde4d827642) Final revision; added custom DRC as project file tstamp 1c9c2c29-57db-4a4e-bbff-29f893ea0430) Final revision; added custom DRC as project file tstamp 52a45927-621d-4774-9080-e26ba88e3d95) Final.
- Normal -0.0816197 -0.758952 0.646011.
- 3.495327e-001 vertex -4.019660e+000 7.700228e-001 2.475471e+001 facet.