Labels Milestones
BackFrom 4049c4aafe61a54c756e746df9f3a582c255b776 Mon Sep 17 00:00:00 2001 Subject: [PATCH] More repo cleanup, adopt github .gitignore.
- 4.064201e-001 7.112353e-001 5.735565e-001 vertex -1.615734e+000 -4.974631e+000.
- 8.002077e-001 vertex 4.155838e+000 -2.398485e+000.