Hello list, I would like to rename a port. How is the best way? Svn cp /port/oldname / port/newname Svn remove /port/oldname And then a diff with /port/oldname /port/newname? Best regards Jochen