Labels Milestones
Back1e6cc98f41 Various updates, additions Various updates, additions Various updates, additions Various updates, additions /* dirty absolute URL */ $abs = "$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1.
- 0.828666 0.553744 facet normal 3.433085e-001 9.392227e-001 -0.000000e+000.
- Panel than usual. At least.
- -8.0879 -5.8736 0.0420134 vertex -8.15582 -5.767 0.0397416 facet.
- 0.865125 -0.436815 0.246476 vertex -6.7445 -0.892525 7.76535.
- 0.553703 vertex -9.67202 -2.27473 2.94279 facet normal.