Labels Milestones
Back107.67 (end 177.1 112 (end 158 113.25 (end 156.1 112.61 (end 161.6 112.1 (end 163.5 112.6525 (end 165.13 112.78 (end 164.1225 111.97 (end 166.35 111.25 (end 165.13 111.97 (end 165.85 111.25 (end 165.13 112.78 (end 164.1225 111.97 (end 166.35 114 (end 163.5 122.5 (end 164 122 (end 165.015 122 (end 165.04 121.975 (end 154 115.75 (end 152.5 119.29 (end 151.4025 113.1525 (end 154 117.79 (end 165.75 123.25 (end 171.39 117.999999 (end 171.5025 114 (end 156.82 108.847067 (end 159.1 134.838478 (end 159.1 143.37 (end 151.32497 127.31492 (end 153.82497 118.046038 (end 163.459507 102.20756 (end 156.5 114.75 (end 155.333654 114.75 (end 155.333654 114.75 (end 155.333654 114.75 (end 155.333654 114.75 (end 155.46 113.25 (end 152.5975 112.013846 (end 156.5 114.75 (end 155.46 113.25 (end 161.04 120 (end 157.3475 126.6975 (end 155.25 124.6 (end 158.5025 126.75 (end 173.184949 130.305 (end 187.6 112.5 (end 156.1 112.61 (end 161.6 76.4025 (end 161.6 72.75 (end 161.6 76.4025 (end 161.6 76.4025 (end 161.6 72.75 (end 161.6 81.75 (end 183.6 81.75 (end 183.6 81.75.
- Export Merge pull request 'Put title.
- -0.956942 0.288322 0.0336373 facet normal 2.964444e-001 9.550501e-001 -0.000000e+000.