Labels Milestones
Back122.5 (end 164 122 (end 165.04 117.025 (end 174.9025 119.65 (end 171.370001 119.25 (end 170.12 117.025 (end 170 115 (end 187.6 112.5 (end 156.1 110.1525 (end 177.6375 76.4625 (end 152.35 113.4 (end 177.85 73 (end 175.26 70.91 (end 175.26 73.75 (end 165.1 76.29 (end 161.6 72.75 (end 161.6 81.75 (end 183.6 81.75 (end 183.6 81.75 (end 183.6 99.17 (end 165.1 157.67 (end 167.17 155.6 (end 181.6 131.75 (end 162.9025 129.1975 (end 171.39 122.6375 (end 173.7525 128.7475 (end 173.7525 128.7475 (end 173.7525 128.7475 (end 173.7525 125.
- F12031bb41 updates to rev 2 d5bfb6e27b2dae54104d76ea378df4de16af205b
- -1.03118 7.21514 7.67586 vertex -4.38745 5.82788 7.61242.
- 0.884724 -0.268375 0.381101 vertex -10.0771 -0.373379 2.58057.
- Engraved_indicator_depth has not been any commit activity in.
- -0.531802 0.0992375 facet normal.