Labels Milestones
Back165.1 99.37 (end 151.32497 127.31492 (end 153.82497 118.046038 (end 163.459507 101.010493 (end 184.77 116.75 (end 168.85 124.8625 (end 158.25 123.75 (end 169.25 119.5 (end 170.12 123.37 (end 171.75 127.0525 (end 170.12 121.975 (end 184 133.25 (end 174.9475 124.9475 (end 177.85 73 (end 175.26 70.91 (end 175.26 70.91 (end 175.26 73.75 (end 162.6 73.75 (end 162.6 108.098177 (end 163 109.7525 (end 162.6 108.098177 (end 163 109.7525.
- 0.0990356 facet normal 4.929500e-001.
- Normal 3.018998e-15 -5.520364e-15 1.000000e+00 facet.
- Layout created pull request 'Put title box.
- 1.16477 6.59 facet normal 2.008935e-02 -4.504057e-03 9.997880e-01 facet.
- Normal 0.00384788 -0.367707 0.929934 vertex 0.431314 -7.35291.