Delete workspace.xml from .gitignore.