fix types
[compress.git] / .gitignore
2022-11-16  Laurent Mazetadd git ignore file