.gitignore updated to don't include workspace.xml - now, the real one :-)