Commit edca4071fc297830d9bbafad8efd7f2ebc0517c5

Bruno Haible 2010-04-05T17:27:26

Assume rmdir exists.