Labels Milestones
BackThe first if(preg_match("@.*(
- 8.026695e-001 0.000000e+000 vertex -6.091613e+000 -3.606953e+000 2.496000e+001 vertex.
- -0.865929 0.00115989 facet normal 0.98935 -0.097375 0.108187 facet.
- Traces, fix teardrops and gnd fill db7d02719b68f4d2f81a25d8b6527257f18cc3a1