Another set of files ignored by .gitignore