no need to keep project.properties on the .gitignore
finally