21 Nov
2023
21 Nov
'23
2:16 p.m.
On Tue Nov 21 10:57:02 2023 +0000, Rémi Bernon wrote:
We don't use these kind of constructs.
The great thing about coding styles is that there are so many to choose from.
Sure, can change.