still trying to get git to ignore workspace.xml