Wed, 19 Apr 2023 17:41:27 +0200update .gitignore
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 19 Apr 2023 17:41:27 +0200] rev 3796
update .gitignore