31 May
2023
31 May
'23
8:17 p.m.
On Wed May 31 19:20:43 2023 +0000, Francisco Casas wrote:
nitpick: the double line doesn't seem necessary.
There will be 1D and cube names too at some point.