Labels Milestones
BackFrom 750478ab8360c0ef45b55687504a3e4846b752b4 Mon Sep 17 00:00:00 2001 Subject: [PATCH 11/13] more fixes a5c5ff12ce18fecaaf346f973863d12bf361ac82 re-re-remove the mysterious extra.
- -6.591540e-002 0.000000e+000 vertex 1.726210e+000 -6.911484e+000.
- 8.343590e-001 2.588132e-001 vertex 4.334138e+000 -3.361386e+000 2.475471e+001.