.gitignore now ignores properties file