26 Nov
2023
26 Nov
'23
7:13 p.m.
On Sun Nov 26 19:00:40 2023 +0000, Fabian Maurer wrote:
Alright, done. But why are we removing the documentation?
It has no value in these particular cases.