SVN commit 855495 by cmollekopf: delete dir D workspace (directory)