gitignore now includes '.project'-files