These should not be in the repository, and an entry should be added to the .gitignore file to prevent new ones being added.