Closed saraedum closed 3 months ago
One of the many tiny bits from #213. This is quite inefficient but I prefer to worry about this when this shows up in the profiler at some point.
Checklist
doc/news/
doc/geometry
doc/graphical
Documentation preview for this PR is ready! :tada: Built with commit: fc0e95b8957661abd2e077ee79cc424275349e07
One of the many tiny bits from #213. This is quite inefficient but I prefer to worry about this when this shows up in the profiler at some point.
Checklist
doc/news/
.doc/geometry
ordoc/graphical
. Nothing new.