Labels Milestones
BackFrom dd8c61c34faaeb27b8a193b7a0410df7bb5b6b87 Mon Sep 17 00:00:00 2001 Subject: [PATCH 02/18] Checkpoint after fixes but before shrinking boards Checkpoint after fixes but before shrinking boards 007cc05932dfa23f85127799f5505afc7b25772e Stuff all.
- -7.63602 -2.3554 19.9406 facet normal 4.033791e-02 -2.947947e-03.
- Normal 8.724472e-001 3.884944e-003 4.886929e-001 facet normal -0.68867.