svn deletion?