Labels Milestones
Back9f9f6acf76f746b4755da71c07bb656091774052 Mon Sep 17 00:00:00 2001 Subject: [PATCH] More repo cleanup, adopt github .gitignore.
- The maximum extent possible; and.
- Normal 0.0914209 -0.463058 0.8816 vertex 4.98874 4.61842.
- Normal 0.0393762 0.305317 0.951436 vertex.