Labels Milestones
Back2015-04-27 01:31:45 -07:00 From f5e6b8a4df714a1a2bca4fe779760c14f25ac698 Mon Sep 17 00:00:00 2001 Subject: [PATCH] Checkpoint after fixes but before shrinking boards renamed.
- 5.022715e+000 1.747200e+001 facet normal 0.468624.
- 0.881672 -0.0119957 facet normal -0.101047.
- Normal -4.937048e-001 8.439949e-001 2.095904e-001.