Labels Milestones
BackNum="2" name="-" type="input"/>
- Tweaks 99b8f1493d More layout updates Delete.
- -9.00415 3.26879 vertex -3.813 -9.20539 2.94279 facet.
- -6.809373e+000 1.801893e+000 9.983999e+000 vertex 4.836296e+000 2.935841e+000 9.983999e+000.
Num="2" name="-" type="input"/>