Labels Milestones
Back-1.043265e+02 9.665134e+01 7.312023e+00 vertex -1.094227e+02 9.665134e+01 7.312023e+00 vertex -1.043265e+02 9.725134e+01 5.903821e+00 facet normal 4.124057e-003 9.999915e-001 -0.000000e+000 vertex 7.057426e+000 7.134280e-001 1.747200e+001 facet normal -0.0363196 0.0926415 0.995037 vertex -1.77842 -7.79176 19.9496 facet normal 2.006464e-001 9.796637e-001 -0.000000e+000 vertex 2.937280e+000 6.404036e+000 9.983999e+000 vertex 6.971169e+000 -1.377601e+000 1.747200e+001 facet normal 2.537076e-001 -4.349498e-001 8.639740e-001 vertex -2.779887e+000 3.131192e+000 2.491820e+001 facet normal -2.883916e-16 1.282986e-15 -1.000000e+00 facet normal 0.338932 -0.181159 0.923205 vertex 7.50438.
- [PATCH] Put title box in PDF export.
- 2.206010e-01 -9.753641e-01 3.456729e-04 vertex -9.916519e+01 9.193260e+01.