Fix type in .gitignore for local.properties after
doing a git rm -f --cached local.properties