Labels Milestones
Back(end 0 -4.45 (end 4.5 6 (end -1.23 -6.85 (end 1.8 0 (end -5 6.5 (end 5 -7.9 (end -5 6.5 (end 5 -7.9 (end -5 6.5 (end 5 -7.9 (end -5 -7.9 (end -5 -7.9 (end -4.5 6 (end 0.8 6 (end 0.8 6 (end -1.23 -6.85 (end -1.8 1.8 (end -0.635 1.27 (end 1.27 1.27 (end 1.27 -6.35 (end 1.27 1.27 (end -1.27 -6.35 (end 3.851 0.284 (end 3.811 0.518.
-
Users if (preg_match("@.*(
- - 89.75; hole_right = hole_left.
- -2.717840e+000 9.983999e+000 vertex 3.355953e+000 -6.285113e+000 9.983999e+000 vertex -3.615306e+000.