Re: [ros-dev] svn: how do I restore a deleted file?