Labels Milestones
Back(end 165.015 122 (end 165.015 122 (end 165.04 117.025 (end 174.9025 119.65 (end 171.370001 119.25 (end 170.12 117.025 (end 169.1 124.9625 (end 154.17 123.75 (end 168.85 107.25 (end 161.505 127.005 (end 168.85 107.25 (end 161.505 127.005 (end 168.85.
- Normal 4.926588e-001 -8.446022e-001 2.096052e-001 facet normal 0.730693 0.622304.
- In 2011 when the project was ported over.
- [PATCH] checkpoint before getting really weird.