Thu, 20 Jul 2023 16:27:20 +0200Update .gitignore
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 20 Jul 2023 16:27:20 +0200] rev 3826
Update .gitignore