Commit 72242b097251e5cdb301ead75cfe3223dcc51ae0

Bruno Haible 2024-12-14T13:04:39

Update .gitignore after last commit.