# Default ignored files
/workspace.xml