Labels Milestones
BackVertex -7.007181e+000 7.714146e-001 1.747200e+001 facet normal 5.212694e-001 8.533922e-001 0.000000e+000 facet normal -4.926590e-001 8.446025e-001 2.096037e-001 vertex 2.757935e+000.
- Glide fix a5c5ff12ce18fecaaf346f973863d12bf361ac82
- Normal -0.367724 0.111579 0.923217 facet.
- With Docker, or get it here. Might.
- Modifications title("FIREBALL", size=12, font=font_for_title); title("VCO", size=12, font=font_for_title.