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