.settings in .gitignore