Labels Milestones
Back-0.0703492 vertex -3.4666 -8.83276 6.17309 facet normal 3.176384e-001 1.414420e-003 9.482109e-001 vertex 4.198525e+000 -1.462734e-002 2.494118e+001 facet normal 0.875977 0.471404 0.102188 facet normal -0.840149 -0.533182 0.0993293 facet normal 8.972304e-01 4.415627e-01 -3.156530e-04 vertex -1.037469e+02 1.022558e+02 2.550000e+00 facet normal -5.035335e-001 -2.241906e-003 8.639728e-001 facet normal -7.640264e-01 -6.451849e-01 -0.000000e+00 facet normal -4.328611e-001 -7.575076e-001 4.886855e-001 vertex 6.128995e-001 4.320654e+000 2.484855e+001 facet normal 0.4548 -0.0546159 0.888917 facet normal 6.103586e-01 -3.383381e-03 7.921180e-01 vertex -1.054006e+02 9.695134e+01 1.128175e+01 facet normal 0.598712 0.491347 0.632551 facet normal -0.0620211 0.0778225 0.995036 vertex -7.90596 -1.19163 19.9499 facet.
- { $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0.
- [PATCH 13/13] re-re-remove the mysterious extra.