Use the right command to delete file on Windows
Use the right command to delete file on Windows

Ignore-this: 2d72b57a51839fd762162f6a01a61014

darcs-hash:20100512162629-a43a9-12fd56aa0c30c9369078d24479a7da07d05e0c13.gz

mor1/oasis,mor1/oasis