Labels Milestones
BackDb7d02719b Find and replace last few thin traces, fix teardrops and gnd fill db7d02719b68f4d2f81a25d8b6527257f18cc3a1 Embiggen traces, add teardrops 46614f2341.
- 6.790486e-03 9.956894e-01 vertex -1.073853e+02 9.665134e+01 8.839482e+00 facet normal.
- Vertex -4.210863e+000 7.691713e-001 2.495526e+001 facet.
- 6.69544 6.69544 3.54602 facet normal -0.129416.