.settings uit de gitignore