Commit 3a3cd34c24be7332c8ff97642de9cdfc1703fdce

Bruno Haible 2023-05-25T00:19:27

Update .gitignore.