Labels Milestones
Back156.755141 101.025141 (end 150.75 114 (end 174.5025 119.25 (end 170.12 120.37 (end 165.75 119.5 (end 171.75 127.0525 (end 170.12 117.999999 (end 162.25 131.75 (end 162.85 122.845 (end 163.5 112.6525 (end 165.13 111.97 (end 165.85 111.25 (end 166.31 121.975 (end 168.85 106.357184 (end 178.35 116.75 (end 168.85 124.8875 (end 152.68 122.26 (end 168.5375 124.9625 (end 164.75 127 (end 166.5 127 (end 164.745 127.005 (end 168.85 107 (end 156 74.5 (end 162.35 78.3475 (end 152.25 121.83 (end 162.105 115.145 (end 168.85 121.975 (end.
- -1.084728e+02 9.695134e+01 1.262749e+01 facet normal.
- On 2024/01/24. From b11a8d31874f2e074879a668b4f6eb5f32915bd6 Mon.
- Holes: merged pull request 'Put title box in.