Hi All, Is there a deltree-like function in the Python standard library? I have been looking at os.removedirs(), but it won't delete non-empty directories. I'd like to delete a whole tree, with files and directories mixed, as rm -rf does in Unix. Any hint? Thanks in advance, Arkaitz