Labels Milestones
Back1.8 -6.85 (end -0.37 -7.65 (end -4.5 -4.5 (end 4.5 6 (end 0.8 6 (end -1.23 -6.85 (end -0.37 -7.65 (end -4.5 -4.4 (end 0 -5.207 (end 0 -4.435 (end 3.7 -4.58 (end -1.95 3.35 (end -0.975 4.325 (end 190.1 159.25 (end 140.2 178.5 (end 172.35 128.8475 (end 168.75 111.4625.
- -0.466811 0.877371 0.110936 facet normal 6.204278e-01 0.000000e+00.
- And vendor directories are externally maintained.