.gitignore: mention ignored files
[cavatools.git] / softfloat /
2023-09-20 Dmitry Selyutincavatools: initialize repository