Tue, 01 Aug 2023 21:00:11 +0200Strip now useless file.
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 01 Aug 2023 21:00:11 +0200] rev 3838
Strip now useless file.