Labels Milestones
Back2015-02-23 04:25:44 -0800 e89a2a057d From d952ec97f3d5e1172c33dcefe438ee5d18f8d87d Mon Sep 17 00:00:00 2001 eb8580ef62 Undo converting GND to GND_JMP and fix everything that broke.
- -0.471711 0.881672 -0.0119957 facet normal.
- 3.396764e+000 2.491820e+001 facet normal -0.288937 -0.749604.
- Vertex -5.61897 -8.40938 2.58057.