Labels Milestones
BackSimpler than this // only keep everything starting at the first if(preg_match("@.*(
- -5.61897 2.58057 vertex -1.97312 -9.91954 2.58057 facet.
- [[0,-10], [0,133], [-60.7,260], [-10,280], [130,260], [80,10]]; module.
Simpler than this // only keep everything starting at the first if(preg_match("@.*(