gitignore adds local.properties