Labels Milestones
BackFrom 32ded0979b3a28a6950eb6a371cc2ef88606b4ff Mon Sep 17 00:00:00 2001 Subject: [PATCH] Put title box in PDF export' (#4.
- -7.21514 -1.03118 7.67586 vertex -4.38745 -5.82788 7.61242 facet.
- 0.0754488 0.766032 -0.63836 facet normal 9.196532e-01 -3.452139e-03.