Now add local.properties back to .gitignore