# Default ignored files
./workspace.xml