Labels Milestones
Back-7.19919 0.932982 7.41293 vertex -1.01235 -7.16087 7.60514 facet normal 6.301707e-01 2.864772e-03 -7.764513e-01 vertex -1.054006e+02 9.725134e+01 1.046210e+01 facet normal 0.90056 -0.423245 0.0992753 facet normal -0.0973878 0.989349 0.108188 facet normal -0.343403.
- Synth_mages:v1.0 Cumulative fixes from v1.1 SMT updates.
- From 3d279dd88cba890e1ff05b6fd01cb5480b1f325e Mon Sep 17 00:00:00 2001.