Git ignored workspace.xml