Labels Milestones
Back-0.0754507 -0.766031 -0.63836 facet normal -0.469113 0.877731 0.0975757 vertex 7.48323 5.00013 3 facet normal 0.679084 -0.550873 0.485163 facet normal -0.573948.
- -0.137651 0.106817 0.984704 facet normal 0.282974 0.360201.
- Normal 9.349039e-001 -3.549011e-001 0.000000e+000.
- 55ee65a5e9 Checkpoint after fixes but before shrinking boards.