15 Mar
2024
15 Mar
'24
4:06 a.m.
On Fri Mar 15 04:06:43 2024 +0000, Zebediah Figura wrote:
Making the header an IDL would be an improvement, although I won't insist on it.
I ran into an issue when I was trying to make it into an IDL and I didn't think it was worth pursuing.