Ignore local.properties and .settings in .gitignore.