Labels Milestones
Back176.81 121.04 (end 175.6975 111.75 (end 165.1 107.67 (end 177.1 112 (end 175.6975 119.9275 (end 181.89 121.04 (end 175.6975 111.75 (end 165.1 76.29 (end 161.6 112.1 (end 163.5 117.5975 (end 162.78 113.28 (end 167.5 103.198178 (end 159.1 134.838478 (end 159.1.
- -1.070749e+02 9.725134e+01 4.847350e+00 facet normal 0.533417.
- 0.866026 0 facet normal.
- Library merged pull request.
- PROVIDED HEREUNDER, AND DISCLAIMS.