Add git ignored files
[veranda] / .gitignore
2024-10-13 Raphaël GertzAdd git ignored files
2024-10-10 Raphaël GertzInitial import