Closed jwallwork23 closed 2 weeks ago
Closes https://github.com/mesh-adaptation/animate/issues/82.
Closes #23.
Opted to just drop this, as this is what Firedrake appear to have done.
Closes https://github.com/mesh-adaptation/animate/issues/82.